Session types as generic process types

Electronic Proceedings in Theoretical Computer Science, EPTCS

Volumn 160, Issue , 2014, Pages 94-110

  Gay, Simon J ^a   Gesbert, Nils ^b   Ravara, António ^c  

^a UNIVERSITY OF GLASGOW   (United Kingdom)

^b INP Grenoble ENSIMAG   (France)

^c UNIVERSIDADE NOVA DE LISBOA   (Portugal)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; COMPUTER PROGRAMMING LANGUAGES; ENCODING (SYMBOLS); FORMAL LANGUAGES; SEMANTICS; SPECIFICATIONS; STATIC ANALYSIS;

BEHAVIOURAL TYPES; GENERIC PROCESS; GENERIC TYPES; LOCK FREEDOMS; SAFETY GUARANTEES; SESSION TYPES; SYSTEM SPECIFICATION; TARGET LANGUAGE;

CALCULATIONS;

EID: 84938598477     PISSN: 20752180     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.4204/EPTCS.160.9     Document Type: Conference Paper

References (12)

1. Ornela Dardha, Elena Giachino & Davide Sangiorgi (2012): Session Types Revisited. In: Proceedings of the 14th Symposium on Principles and Practice of Declarative Programming (PPDP'12), ACM, pp. 139-150, doi:10.1145/2370776.2370794.
2. Romain Demangeon & Kohei Honda (2011): Full abstraction in a subtyped pi-calculus with linear types. In: Proceedings of the 22nd International Conference on Concurrency Theory, LNCS 742, Springer, pp. 460-474, doi:10.1007/978-3-642-23217-6 19.
3. Mariangiola Dezani-Ciancaglini, Dimitris Mostrous, Nobuko Yoshida & Sophia Drossopoulou (2006): Session Types for Object-Oriented Languages. In: Proceedings of the 14th ECOOP, LNCS 4067, Springer, pp. 328-352, doi:10.1007/11785477 20.
4. Simon J. Gay & Malcolm J. Hole (2005): Subtyping for Session Types in the Pi-Calculus. Acta Informatica 42(2-3), pp. 191-225, doi:10.1007/s00236-005-0177-z.
5. Kohei Honda, Vasco Vasconcelos & Makoto Kubo (1998): Language Primitives and Type Discipline for Structured Communication-Based Programming. In: Proceedings of the 14th ESOP, LNCS 1381, Springer, pp. 122-138, doi:10.1007/BFb0053567.
6. Atsushi Igarashi & Naoki Kobayashi (2004): A Generic Type System for the Pi-Calculus. Theoretical Computer Science 311(1-3), pp. 121-163, doi:10.1016/S0304-3975(03)00325-6.
7. Naoki Kobayashi (2002): Type Systems for Concurrent Programs. In: Formal Methods at the Crossroads: From Panacea to Foundational Support (Proceedings of UNU/IIST 10th Anniversary Colloquium), LNCS 2757, Springer, pp. 439-453, doi:10.1007/978-3-540-40007-3 26. Extended version at http://www.kb.ecei.tohoku.ac.jp/~koba/papers/tutorial-type-extended.pdf.
8. Naoki Kobayashi, Benjamin C. Pierce & David N. Turner (1999): Linearity and the Pi-Calculus. ACM Transactions on Programming Languages and Systems 21(5), pp. 914-947, doi:10.1145/330249.330251.
9. Barbara Liskov & Jeannette M. Wing (1994): A Behavioral Notion of Subtyping. ACM Transactions on Programming Languages and Systems 16(6), pp. 1811-1841, doi:10.1145/197320.197383.
10. Robin Milner, Joachim Parrow & David Walker (1992): A Calculus of Mobile Processes, parts I and II. Information and Computation 100(1), pp. 1-77, doi:10.1016/0890-5401(92)90009-5.
11. Davide Sangiorgi & David Walker (2001): The pi-calculus, a theory of mobile processes. Cambridge University Press.
12. Kaku Takeuchi, Kohei Honda & Makoto Kubo (1994): An Interaction-Based Language and its Typing System. In: Proceedings of the 14th PARLE, LNCS 817, Springer, pp. 398-413, doi:10.1007/3-540-58184-7 118.