\input zb-basic
\input zb-ioport
\iteman{io-port 05344437}
\itemau{Aranda, Jes\'us; Di Giusto, Cinzia; Palamidessi, Catuscia; Valencia, Frank D.}
\itemti{On recursion, replication and scope mechanisms in process calculi.}
\itemso{de Boer, Frank S. (ed.) et al., Formal methods for components and objects. 5th international symposium, FMCO 2006, Amsterdam, The Netherlands, November 7--10, 2006. Revised lectures. Berlin: Springer (ISBN 978-3-540-74791-8/pbk). Lecture Notes in Computer Science 4709, 185-206 (2007).}
\itemab
Summary: In this paper we survey and discuss in detail the work on the relative expressiveness of recursion and replication in various process calculi. Namely, CCS, the $\pi $-calculus, the Ambient calculus, Concurrent Constraint Programming and calculi for Cryptographic Protocols. We 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.
\itemrv{~}
\itemcc{}
\itemut{}
\itemli{doi:10.1007/978-3-540-74792-5\_9}
\end