What is a free name in a process algebra?

There are two popular approaches to specifying the semantics of process algebras: labelled transition semantics and reaction semantics. While the notion of free name is rather unproblematic for labelled transition semantics this is not so for reaction semantics in the presence of a structural congruence for unfolding recursive declarations. We show that the standard definition of free name is not preserved under the structural congruence. We then develop a fixed point approach to the set of free names and show that it is invariant under the structural congruence.

[1]  Luca Cardelli,et al.  Mobile Ambients , 1998, FoSSaCS.

[2]  T. Vasco,et al.  Predicative Polymorphism in-Calculus , 1994 .

[3]  Flemming Nielson,et al.  Static analysis for systems biology , 2004 .

[4]  Flemming Nielson,et al.  Principles of Program Analysis , 1999, Springer Berlin Heidelberg.

[5]  Davide Sangiorgi,et al.  Communicating and Mobile Systems: the π-calculus, , 2000 .

[6]  Luca Cardelli,et al.  BioAmbients: an abstraction for biological compartments , 2004, Theor. Comput. Sci..

[7]  Gérard Berry,et al.  The chemical abstract machine , 1989, POPL '90.

[8]  Luís Caires.  Behavioral and Spatial Observations in a Logic for the pi-Calculus , 2004, FoSSaCS.

[9]  Benjamin C. Pierce,et al.  Linearity and the pi-calculus , 1999, TOPL.

[10]  Corrado Priami,et al.  Modelling biochemical pathways through enhanced pi-calculus , 2004, Theor. Comput. Sci..

[11]  Robin Milner,et al.  A Calculus of Communicating Systems , 1980, Lecture Notes in Computer Science.

[12]  Robin Milner,et al.  Communicating and mobile systems - the Pi-calculus , 1999 .

[13]  Vasco Thudichum Vasconcelos.  Predicative Polymorphism in Pi-Calculus , 1994, PARLE.

[14]  Flemming Nielson,et al.  A monotone framework for CCS , 2009, Comput. Lang. Syst. Struct..

[15]  Joachim Parrow,et al.  An Introduction to the π-Calculus , 2001, Handbook of Process Algebra.

[16]  Rob van Glabbeek,et al.  Handbook of Process Algebra , 2001 .

[17]  Davide Sangiorgi,et al.  Mobile safe ambients , 2003, TOPL.