Linearity, session types and the Pi calculus

Mathematical Structures in Computer Science

Volumn 26, Issue 2, 2016, Pages 206-237

  Giunti, Marco ^a   Vasconcelos, Vasco Thudichum ^b  

^a UNIVERSIDADE NOVA DE LISBOA   (Portugal)

^b UNIVERSITY OF LISBON   (Portugal)

Author keywords

[No Author keywords available]

Indexed keywords

CONVENTIONAL PI; ENCODINGS; PI CALCULUS; SESSION TYPES; TYPE SYSTEMS;

CALCULATIONS;

EID: 84953885719     PISSN: 09601295     EISSN: None     Source Type: Journal    
DOI: 10.1017/S0960129514000176     Document Type: Article

References (33)

1. Baltazar, P., Caires, L., Vasconcelos, V. T. and Vieira, H. T. (2013) A type system for flexible role assignment in multiparty communicating systems. In: TGC'12. Springer LNCS. 8191 82-96.
2. Bruni, R. and Mezzina, L. G. (2008) Types and deadlock freedom in a calculus of services, sessions and pipelines. In: AMAST, Springer 100-115.
3. Caires, L. and Vieira, H. (2010) Conversation types. Theoretical Computer Science 411 (51-52) 4399-4440.
4. Capecchi, S., Coppo, M., Dezani-Ciancaglini, M., Drossopoulou, S. and Giachino, E. (2009) Amalgamating sessions and methods in object-oriented languages with generics. Theoretical Computer Science 410 (2-3) 142-167.
5. Coppo, M., Dezani-Ciancaglini, M. and Yoshida, N. (2007) Asynchronous session types and progress for object-oriented languages. In: FMOODS. Springer Lecture Notes in Computer Science 4468 1-31.
6. Cruz-Filipe, L., Lanese, I., Martins, F., Ravara, A. and Vasconcelos, V. T. (2008) Behavioural theory at work: Program transformations in a service-centred calculus. In FMOODS. Springer Lecture Notes in Computer Science 5051 59-77.
7. Dezani-Ciancaglini, M. and de'Liguoro, U. (2010). Sessions and session types: An overview. In: WS-FM'09. Springer Lecture Notes in Computer Science 6194 1-28.
8. Dezani-Ciancaglini, M., Drossopoulou, S., Giachino, E. and Yoshida, N. (2007) Bounded session types for object-oriented languages. In: FMCO. Springer Lecture Notes in Computer Science 4709 207-245.
9. Dezani-Ciancaglini, M., Mostrous, D., Yoshida, N. and Drossopolou, S. (2006) Session types for object-oriented languages. In: ECOOP. Springer Lecture Notes in Computer Science 4067 328-352.
10. Dezani-Ciancaglini, M., Yoshida, N., Ahern, A. and Drossopolou, S. (2005) A distributed object-oriented language with session types. In: TGC. Springer Lecture Notes in Computer Science 3705 299-318.
11. Fähndrich, M., Aiken, M., Hawblitzel, C., Hodson, O., Hunt, G., Larus, J. R. and Levi, S. (2006). Language support for fast and reliable message-based communication in Singularity OS. SIGOPS Operating Systems Review 40 (4) 177-190.
12. Gay, S. and Vasconcelos, V. T. (2010) Linear type theory for asynchronous session types. Journal of Functional Programming 20 (1) 19-50.
13. Gay, S., Vasconcelos, V. T., Ravara, A., Gesbert, N. and Caldeira, A. Z. (2010) Modular session types for distributed object-oriented programming. In: POPL, ACM Press 299-312.
14. Gay, S. J. and Hole, M. J. (2005) Subtyping for session types in the pi calculus. Acta Informatica 42 (2/3) 191-225.
15. Giunti, M. (2011) A type checking algorithm for qualified session types. In: WWV. EPTCS 61 96-114.
16. Giunti, M., Honda, K., Vasconcelos, V. T. and Yoshida, N. (2009) Session-based type discipline for pi calculus with matching. In: PLACES.
17. Giunti, M. and Vasconcelos, V. T. (2010) A linear account of session types in the pi calculus. In: CONCUR. Springer Lecture Notes in Computer Science 6269 432-446.
18. Honda, K. (1993) Types for dyadic interaction. In: CONCUR. Springer Lecture Notes in Computer Science 715 509-523.
19. Honda, K., Vasconcelos, V.T. and Kubo, M. (1998) Language primitives and type disciplines for structured communication-based programming. In: ESOP. Springer Lecture Notes in Computer Science 1381 22-138.
20. Honda, K., Yoshida, N. and Carbone, M. (2008) Multiparty asynchronous session types. In: POPL, ACM Press 273-284.
21. Hu, R., Yoshida, N. and Honda, K. (2008) Session-based distributed programming in Java. In: ECOOP. Springer Lecture Notes in Computer Science 5142 516-541.
22. Kobayashi, N., Pierce, B. C. and Turner, D. N. (1999) Linearity and the pi-calculus. ACM Transactions on Programming Languages and Systems 21 (5) 914-947.
23. Milner, R. (1992) Functions as processes. Mathematical Structures in Computer Science 2 (2) 119-141.
24. Milner, R. (1993) The polyadic π-calculus: A tutorial. In: Logic and Algebra of Specification. Springer Series F. NATO ASI 94. (Available as Technical Report ECS-LFCS-91-180, University of Edinburgh, October 1991.)
25. Milner, R., Parrow, J. and Walker, D. (1992) A calculus of mobile processes, parts I and II. Information and Computation 100 (1) 1-77.
26. Padovani, L. (2012) On projecting processes into session types. Mathematical Structures in Computer Science 22 (2) 237-289.
27. Pierce, B. C. (2002) Types and Programming Languages, MIT Press.
28. Pierce, B. C. and Sangiorgi, D. (1996) Typing and subtyping for mobile processes. Mathematical Structures in Computer Science 6 (5) 409-453.
29. Takeuchi, K., Honda, K. and Kubo, M. (1994) An interaction-based language and its typing system. In: PARLE. Springer Lecture Notes in Computer Science 817 398-413.
30. Vasconcelos, V. T. (2011) Sessions, from types to programming languages. Bulletin of the EATCS 103 53-73.
31. Vasconcelos, V. T. (2012) Fundamentals of session types. Information and Computation, 217 52-70.
32. Vasconcelos, V. T., Gay, S.J. and Ravara, A. (2006) Typechecking a multithreaded functional language with session types. Theoretical Computer Science 368 (1-2) 64-87.
33. Yoshida, N. and Vasconcelos, V.T. (2007) Language primitives and type discipline for structured communication-based programming revisited: Two systems for higher-order session communication. In: SecReT. ENTCS 171 (4) 73-93.