Concurrent nets: A study of prefixing in process calculi

Electronic Notes in Theoretical Computer Science

Volumn 128, Issue 2, 2005, Pages 67-86

  Beffara, Emmanuel ^a   Maurel, François ^a  

^a UNIVERSITÉ PARIS DESCARTES   (France)

Author keywords

Fusion calculus; Guards; Pi calculus; Prefixing

Indexed keywords

CALCULUS; FUSION CALCULUS; GUARDS; PREFIXING;

CLASSIFICATION (OF INFORMATION); GRAPH THEORY; PETRI NETS;

MATHEMATICAL TECHNIQUES;

EID: 15844421925     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2004.11.029     Document Type: Conference Paper

References (12)

1. Cédric Fournet, and Georges Gonthier The reflexive CHAM and the join-calculus Proceedings of POPL'96 1996 ACM Press 372 385
2. Yuxi Fu A proof-theoretical approach to communication P. Degano R. Gorrieri A. Marchetti-Spaccamela Proceedings of ICALP'97 Lecture Notes in Computer Science volume 1256 1997 Springer Verlag 325 335
3. Philippa Gardner, and Lucian Wischik Explicit fusions Mogens Nielsen Branislav Rovan Proceedings of MFCS 2000 Lecture Notes in Computer Science volume 1893 2000 Springer Verlag 373 382
4. Ole Høgh Jensen, and Robin Milner Bigraphs and transitions ACM SIGPLAN Notices 38 1 2003 38 49
5. Jean-Yves Girard Proof-nets: The parallel syntax for proof-theory Paolo Agliano Aldo Ursini Logic and Algebra 1996 M. Dekker New York
6. Yves Lafont Interaction nets Proceedings of POPL'90 1990 ACM Press 95 108
7. Cosimo Laneve, Joachim Parrow, and Björn Victor Solo diagrams Naoki Kobayashi Benjamin C. Pierce Proceedings of TACS'01 Lecture Notes in Computer Science volume 2215 2001 Springer Verlag 127 144
8. Cosimo Laneve, and Björn Victor Solos in concert Jiří Wiederman Peter van Emde Boas Mogens Nielsen Proceedings of ICALP'99 Lecture Notes in Computer Science volume 1644 July 1999 Springer Verlag 513 523
9. Robin Milner Pi-nets: A graphical form of pi-calculus Donald Sannella Proceedings of ESOP'94 Lecture Notes in Computer Science volume 788 1994 Springer Verlag
10. Robin Milner, Joachim Parrow, and David Walker A calculus of mobile processes (Parts I and II) Information and Computation 100 1992 1 77
11. Joachim Parrow Trios in concert Gordon Plotkin Colin Stirling Mads Tofte Proof, Language and Interaction: Essays in Honour of Robin Milner 1998 MIT Press 621 637
12. Joachim Parrow and Björn Victor. The fusion calculus: Expressiveness and symmetry in mobile processes. In Proceedings of LICS'98, pages 176-185, 1998