"Recursion vs Replication in Process Calculi: Expressiveness."

Catuscia Palamidessi, Frank D. Valencia (2005)
a service of Schloss Dagstuhl - Leibniz Center for Informatics