Comparing operational models of name-passing process calculi

Electronic Notes in Theoretical Computer Science

Volumn 107, Issue 1-4 SPEC. ISS., 2004, Pages 91-104

  Fiore, Marcelo ^a   Staton, Sam ^a  

^a UNIVERSITY OF CAMBRIDGE   (United Kingdom)

Author keywords

Coalgebras; Labelled transition systems; Name passing process calculi

Indexed keywords

ALGEBRA; FINITE AUTOMATA; FINITE ELEMENT METHOD; MATHEMATICAL MODELS; MATHEMATICAL OPERATORS; SET THEORY; CONFORMAL MAPPING; FUNCTIONS; SEMANTICS;

COALGEBRAS; LABELLED TRANSITION SYSTEMS; NAME-PASSING PROCESS CALCULI; STATIC NETWORKS; LABELED TRANSITION SYSTEMS; OPERATIONAL MODELS;

DIFFERENTIATION (CALCULUS);

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

References (10)

1. Cattani, G. L. and P. Sewell, Models for name-passing processes: Interleaving and causal, Information and Computation 190 (2004), pp. 136-178. (Extended abstract in Proc. LICS'00.)
2. Cattani, G. L. and P. Sewell, Models for name-passing processes: Interleaving and causal, Information and Computation 190 (2004), pp. 136-178. (Extended abstract in Proc. LICS'00.)
3. Ferrari, G., U. Montanari and M. Pistore, Minimising transition systems for name passing calculi: A co-algebraic formulation, in: Proc. FoSSaCS'02 (2002), pp. 129-158.
4. Fiore, M. P., Notes on combinatorial functors, Draft (January 2001).
5. Fiore, M. P., E. Moggi and D. Sangiorgi, A fully abstract model for the π-calculus, Information and Computation 179 (2002), pp. 76-117. (Extended abstract in Proc. LICS'96.)
6. Fiore, M. P., E. Moggi and D. Sangiorgi, A fully abstract model for the π-calculus, Information and Computation 179 (2002), pp. 76-117. (Extended abstract in Proc. LICS'96.)
7. Fiore, M. P. and D. Turi, Semantics of name and value passing, in: Proc. LICS'01 (2001), pp. 93-104.
8. Gadducci, F., M. Miculan and U. Montanari, About permutation algebras and sheaves (and named sets, too!), Research Report UDMI/26/2003/RR, University of Udine (2003).
9. Pistore, M., "History Dependent Automata," Ph.D. thesis, University of Pisa (1999).
10. Stark, I., A fully abstract domain model for the π-calculus, in: Proc. LICS'96 (1996), pp. 36-42.