Pi-calculus in logical form

Proceedings - Symposium on Logic in Computer Science

Volumn , Issue , 2007, Pages 303-312

  Bonsangue, M M ^a   Kurz, A ^b  

^a LEIDEN UNIVERSITY   (Netherlands)

^b UNIVERSITY OF LEICESTER   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

BISIMILARITY; DOMAIN THEORETIC MODELS; DOMAIN THEORY; EXPONENTIATIONS; FUNCTOR CATEGORY; FUNCTORS; INITIAL ALGEBRAS; LOGICAL FORMS; MODAL CALCULUS; PI CALCULUS;

COMPUTATION THEORY;

CALCULATIONS;

EID: 77951246434     PISSN: 10436871     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/LICS.2007.36     Document Type: Conference Paper

References (18)

1. S. Abramsky. A domain equation for bisimulation. Inform. and Comput., 92, 1991.
2. S. Abramsky. Domain theory in logical form. Annals of Pure and Applied Logic, 51, 1991.
3. S. Abramsky and A. Jung. Domain theory. In Handbook of Logic in Computer Science. OUP, 1994.
4. M. Bonsangue and A. Kurz. Duality for logics of transition systems. In FoSSaCS'05, 2005.
5. M. Bonsangue and A. Kurz. Presenting functors by operations and equations. In FoSSaCS'06, 2006.
6. M. Dam. Proof systems for pi-calculus logics. In Logic for Concurrency and Synchronisation. Kluwer, 2003.
7. M. Fiore, E. Moggi, and D. Sangiorgi. A fully-abstract model for the π-calculus. In LICS 96, 1996.
8. M. Fiore and D. Turi. Semantics of name and value passing. In LICS'01, 2001.
9. M. Fiore and S. Staton. Comparing operational models of name-passing process calculi. Inform. and Comput., 204, 2006.
10. M. Hennessy. A fully abstract denotational semantics for the π-calculus. Theoret. Comput. Sci., 278, 2002.
11. P. Johnstone. Stone Spaces. CUP, 1982.
12. R. Milner, J. Parrow, and D. Walker. A calculus of mobile processes. Inform. and Comput., 100, 1992.
13. R. Milner, J. Parrow, and D. Walker. Modal logics for mobile processes. Theoret. Comput. Sci., 114, 1993.
14. J. Parrow and D. Sangiorgi. Algebraic theories for name-passing calculi. Inform. and Comput., 120, 1995.
15. G. D. Plotkin. A powerdomain construction. SIAM Journal of Computation, 5, 1976.
16. J. Rutten. Universal coalgebra: A theory of systems. Theoret. Comput. Sci., 249, 2000.
17. D. Sangiorgi and D. Walker. The Pi-calculus: A Theory of Mobile Processes. CUP, 2001.
18. I. Stark. A fully-abstract domain model for the π-calculus. In LICS 96, 1996.