A Well-behaved LTS for the Pi-calculus. (Abstract)

Electronic Notes in Theoretical Computer Science

Volumn 192, Issue 1 SPEC. ISS., 2007, Pages 5-11

  Sobociński, Paweł ^a  

^a UNIVERSITY OF SOUTHAMPTON   (United Kingdom)

Author keywords

labelled transition systems; Pi calculus; process calculi; semantics

Indexed keywords

COMPUTATIONAL METHODS; COMPUTER PROGRAMMING LANGUAGES; ROBUST CONTROL; SEMANTICS;

LABELLED TRANSITION SYSTEMS; PI-CALCULUS; PROCESS CALCULI;

LEARNING SYSTEMS;

EID: 35348970246     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2007.10.002     Document Type: Article

References (13)

1. Cattani G.L., and Sewell P. Models for name-passing processes: interleaving and causal. Information and Computation 190 (2004) 136-178
2. U. Engberg and M. Nielsen. A calculus of communicating systems with label passing. Technical Report DAIMI PB-208, University of Aarhus, May 1986
3. Engberg U., and Nielsen M. A calculus of communicating systems with label passing - ten years after. Proof, Language, and Interaction; Essays in Honour of Robin Milner (2000), MIT Press 599-622
4. Ferrari G.U., Montanari U., and Pistore M. Minimising transition systems for name passing calculi: a co-algebraic formulation. Proc. Foundations of Software Science and Computation Structures. FoSSaCS. LNCS (2002), Springer 129-158
5. Fiore M.P., and Staton S. Comparing operational models of name-passing process calculi. Information and Computation 204 4 (2006) 524-560
6. Fiore M.P., and Turi D. Semantics of name and value passing. Proc. 16th Annual IEEE Symposium on Logic in Computer Science. LiCS (2001), IEEE Press 93-104
7. Klin B., Sassone V., and Sobociński P. Labels from reductions: towards a general theory. Algebra and Coalgebra in Computer Science. Calco '05. LNCS volume 3629 (2005), Springer 30-50
8. Leifer J., and Milner R. Deriving bisimulation congruences for reactive systems. Proc. International Conference on Concurrency Theory Concur. LNCS volume 1877 (2000), Springer 243-258
9. Milner R. Communicating and Mobile Systems: the Pi-calculus (1999), Cambridge University Press
10. Milner R., Parrow J., and Walker D. A calculus of mobile processes, ii. Information and Computation 100 1 (1992) 41-77
11. Sangiorgi D., and Walker D. The π-calculus: a Theory of Mobile Processes (2001), Cambridge University Press
12. L. Wischik. Old names for Nu. In Dagstuhl Seminar 04241, 2004
13. Ziegler A., Miller D., and Palamidessi C. A congruence format for name-passing calculi. Proc. Workshop on Structural Operational Semantics SOS '05. ENTCS 156 (2006) 169-189