A fully abstract semantics for causality in the π-calculus

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

Volumn 900, Issue , 1995, Pages 243-254

  Boreale, Michele ^a   Sangiorgi, Davide ^b  

^a SAPIENZA UNIVERSITY OF ROME   (Italy)

^b UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

BIOMINERALIZATION; PATHOLOGY; SEMANTICS;

ABSTRACT SEMANTICS; BINDING MECHANISMS; BISIMULATIONS; CAUSAL DEPENDENCIES; CAUSAL SEMANTICS; INTERLEAVING SEMANTICS; MOBILE PROCESS; OBSERVATION EQUIVALENCE;

CALCULATIONS;

EID: 84947766872     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-59042-0_77     Document Type: Conference Paper

References (14)

1. G. Boudol, I. Castellani, M. Hennessy, and A. Kiehn. A theory of processes with localities. To appear in Formal Aspects of Computing.
2. M. Boreale and D. Sangiorgi. Full version of this paper. Technical Report, ECS-LFCS-94-297, University of Edinburgh, 1994.
3. P. Degano and P, Darondeau. Causal trees. In 15th ICALP, LNCS 372, pages 234-248. Springer Verlag, 1989.
4. P. Degano, R. De Nicola and U. Montanari. Partial Ordering Descriptions and Observations of Concurrent Processes. LNCS 354, Springer-Verlag, 1988.
5. R.J. Van Glabbeek and U. Goltz. Equivalence notions for concurrent systems and refinement of actions. In Proe. MFCS'89, LNCS 379. Springer Verlag, 1989.
6. A. Kiehn. Local and global causes. Technical Report Report 342/23/91, Technische Universität München, 1991.
7. A. Kiehn. Proof systems for cause based equivalences. In Proc. MFCS 93, LNCS 711. Springer Verlag, 1993.
8. R. Milner. Communication and Concurrency. Prentice Hall, 1989.
9. R. Milner. The polyadic π-calculus: a tutorial. In Logic and Algebra of Specification, Springer Verlag, 1993.
10. R. Milner, J. Parrow, and D. Walker. A calculus of mobile processes, (Parts I and II). Information and Computation, 100:1-77, 1992.
11. A. Rabinovich and B.A. Trakhetenbrot. Behaviour structures and nets. Fundamenta Informaticae, XI(4):357-404, 1988.
12. D. Sangiorgi. Expressing Mobility in Process Algebras: First-Order and Higher-Order Paradigms. PhD thesis CST-99-93, Department of Computer Science, University of Edinburgh, 1992.
13. D. Sangiorgi. Locality and non-interleaving semantics in calculi for mobile processes. In Proc. TACS ‘94, LNCS 789, Springer Verlag.
14. D. Walker. Objects in the π-calculus. Information and Computation, 1994. To appear.