TY - GEN
T1 - On recursion, replication and scope mechanisms in process calculi
AU - Aranda, Jesús
AU - Giusto, Cinzia Di
AU - Palamidessi, Catuscia
AU - Valencia, Frank D.
PY - 2007
Y1 - 2007
N2 - In this paper we shall survey and discuss in detail the work on the relative expressiveness of recursion and replication in various process calculi. Namely, CCS, the π-calculus, the Ambient calculus, Concurrent Constraint Programming and calculi for Cryptographic Protocols. We shall give evidence that the ability of expressing recursive behaviour via replication often depends on the scoping mechanisms of the given calculus which compensate for the restriction of replication.
AB - In this paper we shall survey and discuss in detail the work on the relative expressiveness of recursion and replication in various process calculi. Namely, CCS, the π-calculus, the Ambient calculus, Concurrent Constraint Programming and calculi for Cryptographic Protocols. We shall give evidence that the ability of expressing recursive behaviour via replication often depends on the scoping mechanisms of the given calculus which compensate for the restriction of replication.
UR - http://www.scopus.com/inward/record.url?scp=38549095497&partnerID=8YFLogxK
U2 - 10.1007/978-3-540-74792-5_9
DO - 10.1007/978-3-540-74792-5_9
M3 - Conference contribution
AN - SCOPUS:38549095497
SN - 3540747915
SN - 9783540747918
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 185
EP - 206
BT - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
PB - Springer Verlag
T2 - 5th International Symposium on Formal Methods for Components and Objects, FMCO 2006
Y2 - 7 November 2006 through 10 November 2006
ER -