Jesús Aranda, Cinzia Di Giusto, Catuscia Palamidessi, Frank D. Valencia. On Recursion, Replication and Scope Mechanisms in Process Calculi. In Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem P. de Roever, editors, Formal Methods for Components and Objects, 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures. Volume 4709 of Lecture Notes in Computer Science, pages 185-206, Springer, 2006. [doi]
Abstract is missing.