Scripting .NET Using Mondrian
Abstract elided by the publisher.
Related papers
- Operational semantics for multi-language programs POPL 2007
- Operational semantics for multi-language programs TOPLAS 2009
- Actor Induction and Meta-Evaluation POPL 1973
- Model Checking LTL Using Net Unforldings CAV 1998
- Deadlock Checking Using Net Unfoldings CAV 1997
- Denotational Semantics of Nets with Nondeterminism ESOP 1986
- A Brief Introduction to Coloured Petri Nets TACAS 1997
- Petruchio: From Dynamic Networks to Nets CAV 2010