On the expressiveness of infinite behavior and name scoping in process calculi

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2987, Issue , 2004, Pages 226-240

  Giambiagi, Pablo ^a   Schneider, Gerardo ^b,c   Valencia, Frank D ^c  

^a ROYAL INSTITUTE OF TECHNOLOGY   (Sweden)

^b CAMPUS DE BEAULIEU   (France)

^c UPPSALA UNIVERSITY   (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

BIOMINERALIZATION; CALCULATIONS; COMPUTABILITY AND DECIDABILITY; COMPUTATION THEORY; MAPPING;

DIVERGENCE PROBLEMS; IN-PROCESS; PARAMETER-LESS; PRESERVING MAPPINGS; PROCESS CALCULI; RECURSIVE EXPRESSIONS; RELABELING; WEAK BISIMILARITY;

PATHOLOGY;

EID: 35048882486     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-24727-2_17     Document Type: Article

References (14)

1. M. Boreale, R. De Nicola, and R. Pugliese. Trace and testing equivalence on asynchronous processes. Information and Computation, 172(2):139-164, 2002.
2. N. Busi, M. Gabbrielli, and G. Zavattaro. The expressive power of replication in CCS. Draft, 2003.
3. N. Busi, M. Gabbrielli, and G. Zavattaro. Replication vs. recursive definitions in channel based calculi. In ICALP'03, volume 2719 of LNCS, pages 133-144. Springer Verlag, 2003.
4. R. Cleaveland, J. Parrow, and B. Steffen. The Concurrency Workbench: A semantics based tool for the verification of concurrent systems. ACM Transactions on Programming Languages and Systems, 15(l):36-72, 1993.
5. U. Engberg and M. Nielsen. A calculus of communicating systems with label-passing. Technical report, University of Aarhus, 1986.
6. P. Giambiagi, G. Schneider, and F.D. Valencia. On the expressiveness of CCS-like calculi. Technical report, Uppsala University, 2004. Postscript available from http://www.sics.se/fdt/publications/GSV-Expr-TR04.ps.
7. S. Maffeis and I. Phillips. On the computational strength of pure ambient calculi. In EXPRESS'03, 2003.
8. R. Milner. Calculi for synchrony and asynchrony. Technical Report CSR-104-82, University of Edinburgh, 1982.
9. R. Milner. Communication and Concurrency. Prentice Hall, 1989.
10. R. Milner. Communicating and Mobile Systems: the π-cakulus. Cambridge University Press, 1999.
11. C. Palamidessi. Comparing the expressive power of the synchronous and the asynchronous π-calculus. In ACM Press, editor, POPL'97, pages 256-265, 1997.
12. J. Parrow. An introduction to the π-calculus. InHandbookofProcess Algebra, pages 479-543. Elsevier, 2001.
13. D. Sangiorgi and D. Walker. The π-calculus: A Theory of Mobile Processes. Cambridge University Press, 2001.
14. B. Thomsen. A calculus of higher order communicating systems. In POPL'89, ACM, pages 143-154, 1989.