J. C. Baeten and F. Corradini, Regular Expressions in Process Algebra, 20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05), pp.12-19, 2005.
DOI : 10.1109/LICS.2005.43

O. Burkart, D. Caucal, F. Moller, and B. Steffen, Verification on Infinite Structures, pp.545-623, 2001.
DOI : 10.1016/B978-044482830-9/50027-8
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.22.5247

N. Busi, M. Gabbrielli, and G. Zavattaro, Replication vs. Recursive Definitions in Channel Based Calculi, ICALP'03, pp.133-144, 2003.
DOI : 10.1007/3-540-45061-0_12

N. Busi, M. Gabbrielli, and G. Zavattaro, Comparing Recursion, Replication, and Iteration in Process Calculi, ICALP'04, pp.307-319, 2004.
DOI : 10.1007/978-3-540-27836-8_28

P. Giambiagi, G. Schneider, and F. D. Valencia, On the Expressiveness of Infinite Behavior and Name Scoping in Process Calculi, FoSSaCS, pp.226-240, 2004.
DOI : 10.1007/978-3-540-24727-2_17

H. Huttel and J. Srba, Recursion vs. Replication in Simple Cryptographic Protocols, SOF- SEM'05, pp.175-184, 2005.
DOI : 10.7146/brics.v11i23.21848

P. C. Kanellakis and S. A. Smolka, CCS expressions, finite state processes, and three problems of equivalence, Information and Computation, vol.86, issue.1, pp.43-68, 1990.
DOI : 10.1016/0890-5401(90)90025-D

R. Milner, A complete inference system for a class of regular behaviours, Journal of Computer and System Sciences, vol.28, issue.3, pp.439-466, 1984.
DOI : 10.1016/0022-0000(84)90023-0

R. Milner, Communication and Concurrency. International Series in Computer Science, 1989.

R. Milner, Communicating and Mobile Systems: the ?-calculus, 1999.

M. Minsky, Computation: finite and infinite machines, 1967.

M. Nielsen, C. Palamidessi, and F. Valencia, On the expressive power of concurrent constraint programming languages, PPDP 2002, pp.156-167, 2002.

C. Palamidessi and F. D. Valencia, Recursion vs replication in process calculi: Expressiveness, Bulletin of the EATCS, vol.87, pp.105-125, 2005.
URL : https://hal.archives-ouvertes.fr/inria-00201158

J. Parrow, Trios in concert, Proof, Language and Interaction: Essays in Honour of Robin Milner, pp.621-637, 2000.

D. Sangiorgi and D. Walker, PI-Calculus: A Theory of Mobile Processes, 2001.