Home » Authors » Jesus Aranda, Cinzia Di Giusto, Catuscia Palamidessi, Frank D. Valencia

Jesus Aranda, Cinzia Di Giusto, Catuscia Palamidessi, Frank D. Valencia

Public reference bibliography and cataloged PDF materials authored or published by Jesus Aranda, Cinzia Di Giusto, Catuscia Palamidessi, Frank D. Valencia.

Found 1 document(s) Page 1 of 1

Expressiveness of Recursion, Replication and Scope Mechanisms in Process Calculi

Year: 2006 • Source: hal.science • Listed PDF

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 pi-calculus, the Ambient calculus, Concurrent Constrai...