High-Level Petri Nets as Type Theories in the Join Calculus
- 23 March 2001
- book chapter
- Published by Springer Nature
- p. 104-120
- https://doi.org/10.1007/3-540-45315-6_7
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Functorial Models for Petri NetsInformation and Computation, 2001
- Bisimulations in the Join-CalculusPublished by Springer Nature ,1998
- Compiling Join-Patterns1 1This work is partly supported by the ESPRIT CONFER-2 WG-21836Electronic Notes in Theoretical Computer Science, 1998
- Implicit typing à la ML for the join-calculusPublished by Springer Nature ,1997
- The reflexive CHAM and the join-calculusPublished by Association for Computing Machinery (ACM) ,1996
- A calculus of mobile agentsPublished by Springer Nature ,1996
- Characterizing behavioural congruences for Petri netsPublished by Springer Nature ,1995
- Action calculi, or syntactic action structuresPublished by Springer Nature ,1993
- The chemical abstract machineTheoretical Computer Science, 1992
- Petri NetsPublished by Springer Nature ,1985