2 search results - page 1 / 1 » On the Expressiveness of Linearity vs Persistence in the Asy... |
LICS
2006
IEEE
13 years 10 months ago
2006
IEEE
We present an expressiveness study of linearity and persistence of processes. We choose the π-calculus, one of the main representatives of process calculi, as a framework to cond...
ENTCS
2008
13 years 4 months ago
2008
In [24] the authors studied the expressiveness of persistence in the asynchronous -calculus (A) wrt weak barbed congruence. The study is incomplete because it ignores the issue of...