The receptive distributed π-calculus

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

Volumn 1738, Issue , 1999, Pages 304-315

  Amadio, Roberto M ^a   Boudol, Gérard ^b   Lhoussaine, Cédric ^a  

^a AIX MARSEILLE UNIVERSITY   (France)

^b INRIA   (France)

Author keywords

[No Author keywords available]

Indexed keywords

SOFTWARE ENGINEERING; STATIC ANALYSIS;

BISIMULATIONS; HEIDELBERG; PI CALCULUS; SIMPLE TYPES;

CALCULATIONS;

EID: 84855999023     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-46691-6_24     Document Type: Conference Paper

References (10)

1. R. AMADIO, I. CASTELLANI and D. SANGIORGI, On bisimulations for the asynchronous calculus, CONCUR’96, Springer Lect. Notes in Comp. Sci. 1119 (1996) 147-162.
2. R. AMADIO, An asynchronous model of locality, failure, and process mobility, In Proc. COORDINATION’97, Springer Lect. Notes in Comp. Sci. 1282 (1997). Extended version appeared as Res. Report INRIA 3109.
3. R. AMADIO, On modeling mobility, Journal of Theoretical Computer Science, to appear (1999).
4. G. BOUDOL, Typing the use of resources in a concurrent calculus, Proc. ASIAN 97, Springer Lect. Notes in Comp. Sci. 1345 (1997) 239-253.
5. L. CARDELLI and A. GORDON, Mobile ambients, In Proc. FoSSaCS, ETAPS’98, Springer Lect. Notes in Comp. Sci. 1378 (1998) 140-155.
6. C. FOURNET and G. GONTHIER, The reflexive CHAM and the join-calculus, In Proc. ACM Principles of Prog. Lang. (1996) 372-385.
7. C. FOURNET, G. GONTHIER, J.-J. LÉVY, L. MARANGET, and D. RÉMY, A calculus of mobile agents, In Proc. CONCUR’96, Springer Lect. Notes in Comp. Sci. 1119 (1996) 406-421.
8. M. HENNESSY and J. RIELY, Resource access control in systems of mobile agents, Techn. Report 2/98, School of Cognitive and Computer Sciences, University of Sussex (1998).
9. N. KOBAYASHI, A partially deadlock-free typed process calculus, ACM TOPLAS Vol. 20 No 2 (1998) 436-482.
10. D. SANGIORGI, The name discipline of uniform receptiveness, In Proc. ICALP’97, Springer Lect. Notes in Comp. Sci. 1256 (1997) 303-313.