2 search results - page 1 / 1 » Linearity, Persistence and Testing Semantics in the Asynchro... |
ENTCS
2008
13 years 6 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...
LICS
2006
IEEE
14 years 18 days 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...