On the expressiveness of internal mobility in name-passing calculi

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

Volumn 1119, Issue , 1996, Pages 163-178

  Boreale, Michele ^a  

^a SAPIENZA UNIVERSITY OF ROME   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

BIOMINERALIZATION; PATHOLOGY;

INTERNAL MOBILITY; MATHEMATICAL THEORY; NAME PASSING CALCULI; PI CALCULUS;

CALCULATIONS;

EID: 84955568338     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61604-7_54     Document Type: Conference Paper

References (20)

1. Arun-Kumar and M. Hennessy. An efficiency preorder for processes. Acta Informatica, 29:737-760, 1992.
2. R. Amadio. A note on objects and localities. Technical report, INRIA-Sophia Antipolis, 1996.
3. G. Boudol. Asynchrony and the π-calculus (note). Technical Report RR-1702, INRIASophia Antipolis, 1992.
4. M. Boreale and D. Sangiorgi. A fully abstract semantics for causality in the r-calculus. Technical Report ECS-LFCS-94-297, Dept. of Comp. Sci., Edinburgh University, 1994. An extract appeared in Proc. of STACS'95, LNCS 900, Springer Verlag.
5. M. Boreale and D. Sangiorgi. Some congruence properties for r-calculus bisimilarities. Technical Report RR-2870, INRIA-Sophia Antipolis, 1996.
6. N. G. de Bruijn. Lambda-calculus notation with nameless dummies: a tool for automatic formula manipulation with application to the Church-Rosser theorem. Indag. Math., 5(34):381-392, 1972.
7. C. Fournet and G. Gonthier. The reflexive CHAM and the join-calculus. 1996. To appear in the Proc. of POPL '96.
8. G. Ferrari, U. Montanari, and P. Quaglia. π-calculus with explicit substitutions. Technical report, Università di Pisa, 1994. Extended abstract appeared in Proc. of MFCS'94.
9. M. Hansen, J. Kleist, and H. Hüttel. Bisimulations for asynchronous mobile processes. In Proceedings of the Tbilisi Symposium on Language, Logic, and Computation., 1995. Research paper HCRC/RP-72, Human Communication Research Centre, University of Edinburgh.
10. K. Honda. Two bisimilarities for the v-calculus. Technical Report 92-002, Departement of Computer Science, Keio University, 1992.
11. R. Milner. The polyadic π-calculus: A tutorial. Technical Report ECS-LFCS-91-180, LFCS, Dept. of Computer Science, Edinburgh Univ., 1991.
12. R. Milner. Functions as processes. Mathematical Structure in Computer Science, 2(2):119-141, 1992.
13. R. Milner, J. Parrow, and D. Walker. A calculus of mobile processes, part I and II. Information and Computation, 100:1-41 and 42-78, 1992.
14. J. Paxrow and D. Sangiorgi. Algebraic theories for name-passing calculi. Information and Computation, 120(2):174-197, 1995.
15. D. Sangiorgi. Expressing Mobility in Process Algebras: First-Order and Higher-Order Paradigms. PhD thesis, Department of Computer Science, University of Edinburgh, 1992.
16. D. Sangiorgi. A theory of bisimulation for the r-calculus. In E. Best, editor, Proceedings of CONCUR '93, LNCS 715. Springer-Verlag, Berlin, 1993. To appear in Acta Informatica.
17. D. Sangiorgi. Locality and non-interleaving semantics in calculi for mobile processes. Technical Report ECS-LFCS-94-282, LFCS, Dept. of Computer Science, Edinburgh University, 1994. An extract appeared in Proc. TACS '94, LNCS, Springer-Verlag.
18. D. Sangiorgi. Lazy functions and mobile processes. Technical Report RR-2515, INRIA, 1995.
19. D. Sangiorgi. π-calculus, internal mobility, and agent-passing calculi. Technical Report RR-2539, INRIA, 1995. Extended Abstract in Proc. of TAPSOFT'95.
20. D. Sangiorgi and R. Milner. The problem of "Weak Bisimulation up-to". In W.R. Cleveland, editor, Proceeding s of CONCUR '92, volume 630, pages 32-46. Springer Verlag, 1992.