Petri net semantics of the finite π-calculus terms

Fundamenta Informaticae

Volumn 70, Issue 3, 2006, Pages 203-226

  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

DIFFERENTIATION (CALCULUS); GRAPH THEORY; MATHEMATICAL OPERATORS; PETRI NETS;

NET COMPOSITION OPERATORS; PETRI NET SEMANTICS; TERM REWRITING;

SEMANTICS;

EID: 33644602931     PISSN: 01692968     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (16)

1. E.Best, W.Fra̧czak, 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. Acta Informatica 35 (1998) 813-857.
2. E.Best, R.Devillers and J.Hall: The Petri Box Calculus: a New Causal Algebra with Multilabel Communication. In: Advances in Petri Nets 1992, G. Rozenberg (Ed.). Springer, LNCS 609 (1992) 21-69.
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 π-calculus. 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. J-Engelfriet: A Multiset Semantics for the π-calculus with Replication. Theoretical Computer Science 153 (1996) 65-94.
10. R.Devillers, H.Klaudel and M.Koutny: Context-based Process Algebras for Mobility. Proc. of ACSD'2004, IEEE Computer Society (2004) 99-108.
11. R.Devillers, H.Klaudel, M.Koutny and F.Pommereau: Asynchronous Box Calculus. Fundamentae Informaticae 54 (2003) 295-344.
12. H.Klaudel and F.Pommereau: Asynchronous links in the PBC and M-nets. Proc. of ASIAN'99, Springer, LNCS 1742 (1999) 190-200.
13. R.Milner: Communication and Concurrency. Prentice Hall (1989).
14. R.Milner, J.Parrow and D.Walker: A Calculus of Mobile Processes. Information and Computation 100 (1992) 1-77.
15. U.Montanari and M.Pistore: Concurrent Semantics for the π-calculus. Proc. of MFPS'95, Elsevier (1995) Electronic Notes in Computer Science 1.
16. J.Parrow: An Introduction to the π-calculus. In: Handbook of Process Algebra, Bergstra, Ponse, Smolka (Eds.). Elsevier (2001) 479-543.