Petri net semantics of the finite π-calculus

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3235, Issue , 2004, Pages 309-325

  Devillers, Raymond ^a   Klaudel, Hanna ^b   Koutny, Maciej ^c  

^a UNIVERSITÉ LIBRE DE BRUXELLES   (Belgium)

^b UNIVERSITÉ D EVRY VAL D ESSONNE   (France)

^c NEWCASTLE UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

FLOW GRAPHS; GRAPH THEORY; PETRI NETS; SEMANTICS;

COMPOSITION OPERATORS; CONTROL FLOWS; GRAPH-THEORETIC; HIGH-LEVEL PETRI NETS; INITIAL MARKING; NAME-BINDING; PETRI NET SEMANTICS; TERM REWRITING;

CALCULATIONS;

EID: 33644551350     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-30232-2_20     Document Type: Article

References (17)

1. E.Best and R.Devillers: Sequential and Concurrent Behaviour in Petri Net Theory. Theoretical Computer Science 55 (1988) 87-136.
2. E.Best, W.Fraczak, R.P.Hopkins, H.Klaudel and E.Pelz: M-nets: an Algebra of High Level Petri Nets, with an Application to the Semantics of Concurrent Programming Languages. Ada Informatica 35 (1998) 813-857.
3. E.Best, R.Devillers and M.Koutny: Petri Net Algebra. EATCS Monographs on TCS, Springer (2001).
4. M.Boreale and D.Sangiorgi: A Fully Abstract Semantics for Causality in the ircalculus. Proc. of STACS'95, Springer, LNCS 900 (1995) 243-254.
5. N.Busi and R.Gorrieri: A Petri net Semantics for π-calculus. Proc. of Concur'95, LNCS 962 (1995) 145-159.
6. G.L.Cattani and P.Sewell: Models for Name-Passing Processes: Interleaving and Causal. Proc. of LICS'2000, IEEE CS Press (2000) 322-333.
7. G. L.Cattani and P.Sewell: Models for Name-Passing Processes: Interleaving and Causal. Technical Report TR-505, University of Cambridge (2000).
8. S.Christensen and N.D.Hansen: Coloured Petri Nets Extended with Place Capacities, Test Arcs and Inhibitor Arcs. Proc. of ICATPN'93, Springer, LNCS 691 (1993) 186-205.
9. R.Devillers, H.Klaudel and M.Koutny: Petri net semantics of the finite w-calculus CS-TR-846 University of Newcastle 2004
10. J.Engelfriet: A Multiset Semantics for the π-calculus with Replication. Theoretical Computer Science 153 (1996) 65-94.
11. H.Klaudel and F.Pommereau: Asynchronous links in the PBC and M-nets. Proc. of ASIAN'99, Springer, LNCS 1742 (1999) 190-200.
12. R.Milner: Communication and Concurrency. Prentice Hall (1989).
13. R.Milner, J.Parrow and D.Walker: A Calculus of Mobile Processes. Information and Computation 100 (1992) 1-77.
14. U.Montanari and M.Pistore: Concurrent Semantics for the 7r-calculus. Proc. of MFPS'95, Elsevier (1995) Electronic Notes in Computer Science 1.
15. J.Parrow: An Introduction to the vr-calculus. In: Handbook of Process Algebra, Bergstra, Ponse, Smolka (Eds.). Elsevier (2001) 479-543.
16. G.D.Plotkin: A Structural Approach to Operational Semantics. Technical Report FN-19, Computer Science Department, University of Aarhus (1981).
17. W.Vogler: Partial Order Semantics and Read Arcs. Proc. of MFCS'97, Springer, LNCS 1295 (1997) 508-517.