Sciweavers

Share
FOSSACS
2004
Springer

On the Expressiveness of Infinite Behavior and Name Scoping in Process Calculi

9 years 9 months ago
On the Expressiveness of Infinite Behavior and Name Scoping in Process Calculi
In the literature there are several CCS-like process calculi differing in the constructs for the specification of infinite behavior and in the scoping rules for channel names. In this paper we study various representatives of these calculi based upon both their relative expressiveness and the decidability of divergence. We regard any two calculi as being equally expressive iff for every process in each calculus, there exists a weakly bisimilar process in the other. By providing weak bisimilarity preserving mappings among the various variants, we show that in the context of relabeling-free and finite summation calculi: (1) CCS with parameterless (or constant) definitions is equally expressive to the variant with parametric definitions. (2) The CCS variant with replication is equally expressive to that with recursive expressions and static scoping. We also state that the divergence problem is undecidable for the calculi in (1) but decidable for those in (2). We obtain this from (un)decid...
Pablo Giambiagi, Gerardo Schneider, Frank D. Valen
Added 20 Aug 2010
Updated 20 Aug 2010
Type Conference
Year 2004
Where FOSSACS
Authors Pablo Giambiagi, Gerardo Schneider, Frank D. Valencia
Comments (0)
books