@inproceedings{63f0f18390cc435990fbc219049576da,
title = "On recursion, replication and scope mechanisms in process calculi",
abstract = "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.",
author = "Jes{\'u}s Aranda and Giusto, \{Cinzia Di\} and Catuscia Palamidessi and Valencia, \{Frank D.\}",
year = "2007",
month = jan,
day = "1",
doi = "10.1007/978-3-540-74792-5\_9",
language = "English",
isbn = "3540747915",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "185--206",
booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
note = "5th International Symposium on Formal Methods for Components and Objects, FMCO 2006 ; Conference date: 07-11-2006 Through 10-11-2006",
}