Multisets and structural congruence of the pi-calculus with replication

Theoretical Computer Science

Volumn 211, Issue 1-2, 1999, Pages 311-337

  Engelfriet, Joost ^a   Gelsema, Tjalling ^a  

^a LEIDEN UNIVERSITY   (Netherlands)

Author keywords

Congruence; Multiset; Petri nets; Pi calculus

Indexed keywords

EID: 0004526320     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0304-3975(97)00179-5     Document Type: Article

References (8)

1. G. Berry, G. Boudol, The chemical abstract machine, Theoret. Comput. Sci. 96 (1992) 217-248.
2. J. Engelfriet, A multiset semantics for the pi-calculus with replication, Theoret. Comput. Sci. 153 (1996) 65-94.
3. G. Milne, R. Milner, Concurrent processes and their syntax, J. ACM 26 (1979) 302-321.
4. R. Milner, Flow-graphs and flow algebras. J. ACM 26 (1979) 794-818.
5. R. Milner, Communication and Concurrency, Prentice-Hall, Englewood Cliffs, NJ, 1989.
6. R. Milner, Functions as processes, Math. Struct. Comput. Sci. 2 (1992) 119-141.
7. R. Milner, Turing Award Lecture: Elements of interaction, Comm. ACM 36 (1993) 78-89.
8. [S] R. Milner, J. Parrow, D. Walker, A calculus of mobile processes, Inform. Comput. 100 (1992) 1-77.