On encoding pπ in mπ

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

Volumn 1530 LNCS, Issue , 1998, Pages 42-53

  Quaglia, Paola ^a   Walker, David ^b  

^a AARHUS UNIVERSITY   (Denmark)

^b UNIVERSITY OF OXFORD   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ENCODINGS; FULL ABSTRACTION; TYPE SYSTEMS;

CALCULATIONS; SOFTWARE ENGINEERING;

ENCODING (SYMBOLS);

EID: 21244434542     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-49382-2_5     Document Type: Conference Paper

References (13)

1. K. Honda. Types for Dyadic Interaction. In E. Best, editor, Proc. 4th Conf. CONCUR, volume 715 of LNCS, pages 509-523. Springer-Verlag, 1993.
2. N. Kobayashi. A partially deadlock-free typed process calculus. In Proc. 12th IEEE Symp. LICS, pages 128-139, 1997.
3. N. Kobayashi, B.C. Pierce, and D.N. Turner. Linearity and the Pi-Calculus. In Proc. 23rd ACM Symp. POPL, pages 358-371, 1996.
4. X. Liu and D. Walker. A Polymorphic Type System for the Polyadic π-calculus. In I. Lee and S.A. Smolka, editors, Proc. 6th Conf. CONCUR, volume 962 of LNCS, pages 103-116. Springer-Verlag, 1995.
5. R. Milner. The Polyadic π-Calculus: a Tutorial. In F.L. Bauer, W. Brauer, and H. Schwichtenberg, editors, Logic and Algebra of Specification, pages 203-246. Springer-Verlag, 1992.
6. R. Milner, J. Parrow, and D. Walker. A Calculus of Mobile Processes, Part I and II. Information and Computation, 100(1):1-77, 1992.
7. U. Nestmann and M. Steffen. Typing Confluence. In S. Gnesi and D. Latella, editors, Proc. 2nd Int. ERCIM Workshop on Formal Methods in Industrial Critical Systems, pages 77-101, 1997.
8. B.C. Pierce and D. Sangiorgi. Typing and Subtyping for Mobile Processes. In Proc. 8th IEEE Symp. LICS, pages 376-385, 1993. (Pubitemid 23688790)
9. B.C. Pierce and D. Sangiorgi. Behavioral Equivalence in the Polymorphic Pi-Calculus. In Proc. 24th ACM Symp. POPL, pages 242-255, 1997.
10. D. Sangiorgi. The name discipline of uniform receptiveness. In P. Degano, R. Gorrieri, and A. Marchetti-Spaccamela, editors, Proc. 24th ICALP, volume 1256 of LNCS, pages 303-313. Springer, 1997.
11. D.N. Turner. The Polymorphic Pi-Calculus: Theory and Implementation. PhD thesis, Comp. Sc. Dep., Edinburgh University, 1996. Report ECS-LFCS-96-345.
12. V.T. Vasconcelos and K. Honda. Principal typing schemes in a polyadic π-calculus. In E. Best, editor, Proc. 4th Conf. CONCUR, volume 715 of LNCS. Springer-Verlag, 1993.
13. N. Yoshida. Graph Types for Monadic Mobile Processes. In Proc. 16th Conf. FST&TCS, volume 1180 of LNCS, pages 371-386. Springer, 1996.