On message deliverability and non-uniform receptivity

Fundamenta Informaticae

Volumn 53, Issue 2, 2002, Pages 105-129

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

^a AIX MARSEILLE UNIVERSITY   (France)

^b INRIA   (France)

^c UNIVERSITY OF SUSSEX   (United Kingdom)

Author keywords

Asynchronous calculus; Message deliverability; Receptivity

Indexed keywords

ABSTRACTING; ERRORS; MATHEMATICAL PROGRAMMING; PETRI NETS;

MESSAGE DELIVERABILITY;

INFORMATION DISSEMINATION;

EID: 0036874173     PISSN: 01692968     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (15)

1. Amadio, R.: An asynchronous model of locality, failure, and process mobility, Proc. Coordination 97, Springer Lect. Notes in Comp. Sci. 1282, 1997, Extended version appeared as RR-INRIA 3109.
2. Amadio, R.: On modeling mobility, Theoretical Computer Science, 240, 2000, 147-176.
3. Amadio, R., Boudol, G., Lhoussaine, C.: The distributed receptive π-calculus, Technical report, INRIA Research Report 4080, November 2000.
4. Amadio, R., Castellani, I., Sangiorgi, D.: On bisimulations for the asynchronous π-calculus, Theoretical Computer Science, 195, 1998, 291-324.
5. Amadio, R., Meyssonnier, C.: On the decidability of fragments of the asynchronous π-calculus, Proc. EXPRESS01, Electronic Notes in Theoretical Computer Science, 52.1, 2001, Also appeared as RR-INRIA 4241.
6. Boudol, G.: Typing the use of resources in a concurrent calculus, Proc. ASIAN 97, Springer Lect. Notes in Comp. Sci. 1345, 1997.
7. Fournet, C., Gonthier, G.: The reflexive CHAM and the join-calculus, Proc. ACM Principles of Prog. Lang., 1996.
8. Golz, U., Mycroft, A.: On the relationship of CCS and Petri Nets, Proc. ICALP84, Springer Lect. Notes in Comp. Sci. 172:196-208, 1984.
9. Kobayashi, N., Pierce, B., Turner, D.: Linearity in the π-Calculus, Proc. ACM Principles of Prog. Lang., 1996, Expanded version in ACM TOPLAS 21-5 (1999).
10. Lhoussaine, C.: Types, réceptivité et mobilité, PhD thesis, U. Aix-Marseille I, June 2002.
11. Merro, M., Sangiorgi, D.: On asynchrony in name passing calculi, Proc. ICALP98, Springer Lect. Notes in Comp. Sci. 1443, 1998.
12. Palamidessi, C.: Comparing the expressive power of the synchronous and the asynchronous π-calculus, Proc. ACM Principles of Prog. Lang., 1997.
13. Reutenauer, C.: Aspects mathématiques des réseaux de Petri, Masson Editeur, 1988, Also available in english: The mathematics of Petri Nets, Prentice-Hall.
14. Sangiorgi, D.: The name discipline of uniform receptiveness, Proc. ICALP 97, Springer Lect. Notes in Comp. Sci. 1256, 1997.
15. Sangiorgi, D.: On the bisimulation proof method, Journal of Math. Structures in Comp. Sci., 8, 1998, 447-479.