The name discipline of uniform receptiveness

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

Volumn 1256, Issue , 1997, Pages 303-313

  Sangiorgi, Davide ^a  

^a INRIA   (France)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84951015470     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-63165-8_187     Document Type: Conference Paper

References (19)

1. R. Amadio. Locality and failures II. To appear as a Technical Report, INRIA-Sophia Antipolis, 1997.
2. Fournet C. and Gonthier G. The Reflexive Chemical Abstract Machine and the Join calculus. In Proc. 23 th POPL. ACM Press, 1996.
3. K. Honda. Types for dydadic interaction. In E. Best, editor, Proc. CONCUR '93, LNCS 715, pages 509-523. Springer Verlag, 1993.
4. K. Honda. Composing processes. In Proc. 23th POPL. ACM Press, 1996.
5. C.B. Jones. Constraining interference in an object-based design method. Proc. TAPSOFT'93, LNCS 668, pages 136-150. Springer Verlag, 1993.
6. N. Kobayashi. A partially deadlock-free typed process calculus. To appear as a technical report, Department of Information Science, University of Tokyo, 1997. A summary is to appear in Proc. 12th LICS Conf., 1997.
7. N. Kobayashi, B.C. Pierce, and D.N. Turner. Linearity and the pi-calculus. In Proc. 23th POPL. ACM Press, 1996.
8. R. Milner. Functions as processes. Research Report 1154, INRIA, Sophia Antipolis. Final version in J. Mathem. Struct, in Computer Science 2(2):119-141, 1992.
9. R. Milner, J. Parrow, and D. Walker. A calculus of mobile processes, (Parts I and II). Information and Computation, 100:1-77, 1992.
10. B. Pierce and D. Sangiorgi. Typing and subtyping for mobile processes. Journal of Mathematical Structures in Computer Science, 6(5):409-454, 1996.
11. B. Pierce and D. Sangiorgi. Behavioral equivalence in the polymorphic pi-calculus. In 24th POPL. ACM Press, 1997.
12. B. C. Pierce and D. N. Turner. Pict: A programming language based on the pi-calculus. In preparation, 1997.
13. D. Sangiorgi. Expressing Mobility in Process Algebras: First-Order and Higher-Order Paradigms. PhD thesis CST-99-93, University of Edinburgh, 1992
14. D. Sangiorgi. An interpretation of typed objects into typed Tr-ealculus, Technical Report RR-3000, INRIA-Sophia Antipolis, 1996.
15. D. Sangiorgi. 7r-calculus, internal mobility and agent-passing calculi. Theoretical Computer Science, 167(2):235-274, 1996.
16. D. Sangiorgi. Typed 7r-calculus at work: a proof of Jones's parallelisa-tion transformation on concurrent objects. Presented at Fourth Workshop on Foundations of Object-Oriented Languages, 1997. Available as http://zenon.irtria.fr/meije/theorie-par/davides/JonesTransform.ps.gz.
17. D. Sangiorgi. The name discipline of uniform receptiveness. (This is a slightly longer version of the present paper.) Available as http://zenon.inria.fr/meije/theorie-par/davides/RecePi.ps.Z.
18. B. Thomsen. Plain CHOCS, a second generation calculus for higher-order processes. Acta Informatica, 30:1-59, 1993.
19. Nobuko Yoshida. Graph types for monadic mobile processes. In Proc. FST & TCS, LNCS 1180, pages 371-386. Springer Verlag, 1996.