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

@inproceedings{Giambiagi2004OnTE,
  title={On the Expressiveness of Infinite Behavior and Name Scoping in Process Calculi},
  author={Pablo Giambiagi and Gerardo Schneider and Frank D. Valencia},
  booktitle={FoSSaCS},
  year={2004}
}
In the literature there are several CCS-like process calcul i differing in the constructs for the specification of infinite behavior and in the scoping rules for channel names. In this paper we study various representa tives of these calculi based upon both their relative expressiveness and the decid ability of divergence. We regard any two calculi as being equally expressiveiff for every process in each calculus, there exists a weakly bisimilarprocess in the other. By providingweak… CONTINUE READING

Citations

Publications citing this paper.
Showing 1-10 of 24 extracted citations

References

Publications referenced by this paper.
Showing 1-10 of 14 references

Replication vs

N. Busi, M. Gabbrielli, G. Zavattaro
recursive definitions in channel based calculi. InICALP’03, volume 2719 ofLNCS, pages 133–144. Springer Verlag, • 2003
View 6 Excerpts
Highly Influenced

Communication and concurrency

PHI Series in computer science • 1989
View 9 Excerpts
Highly Influenced

A calculus of communicating sys tem with label-passing

U. Engberg, M. Nielsen
Technical report, University of Aarhus, • 1986
View 6 Excerpts
Highly Influenced

On the Computational Strength of Pure Ambient Calculi

Electr. Notes Theor. Comput. Sci. • 2004
View 1 Excerpt

The expressive p ower of replication in CCS

N. Busi, M. Gabbrielli, G. Zavattaro
Draft, • 2003
View 2 Excerpts

An introduction to the π-calculus

J. Parrow
InHandbook of Process Algebra , pages 479– 543. Elsevier, • 2001

Similar Papers

Loading similar papers…