A linear account of session types in the pi calculus

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

Volumn 6269 LNCS, Issue , 2010, Pages 432-446

  Giunti, Marco ^a   Vasconcelos, Vasco T ^b  

^a UNIVERSITY IUAV OF VENICE   (Italy)

^b UNIVERSITY OF LISBON   (Portugal)

Author keywords

[No Author keywords available]

Indexed keywords

COMMUNICATION CHANNEL; CONVENTIONAL PI; ENCODINGS; LINEAR LAMBDA CALCULUS; PI CALCULUS; SESSION TYPES; TYPE SYSTEMS;

COMMUNICATION CHANNELS (INFORMATION THEORY); DIFFERENTIATION (CALCULUS);

CALCULATIONS;

EID: 78249233237     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-15375-4_30     Document Type: Conference Paper

References (17)

1. Caires, L., Pfenning, F.: Session types as intuitionistic linear propositions. In: Gastin, P., Laroussinie, F. (eds.) CONCUR 2010. LNCS, vol. 6269, pp. 222-236. Springer, Heidelberg (2010)
2. Castagna, G., Dezani-Ciancaglini, M., Giachino, E., Padovani, L.: Foundations of session types. In: PPDP, pp. 219-230. ACM, New York (2009)
3. Dezani-Ciancaglini, M., de'Liguoro, U.: Sessions and session types: An overview. In: Laneve, C. (ed.) WS-FM 2010. LNCS, vol. 6194, pp. 1-28. Springer, Heidelberg (2010)
4. Dezani-Ciancaglini, M., Drossopoulou, S., Mostrous, D., Yoshida, N.: Objects and session types. Information and Computation 207, 595-641 (2009)
5. Gay, S.J., Hole, M.J.: Subtyping for session types in the pi calculus. Acta Informatica 42(2/3), 191-225 (2005)
6. Honda, K., Vasconcelos, V.T., Kubo, M.: Language primitives and type discipline for structured communication-based programming. In: Hankin, C. (ed.) ESOP 1998. LNCS, vol. 1381, pp. 122-138. Springer, Heidelberg (1998)
7. Kobayashi, N., Pierce, B.C., Turner, D.N.: Linearity and the pi-calculus. ACM Transactions on Programming Languages and Systems 21, 914-947 (1999)
8. o. In: TLDI, pp. 77-88. ACM, New York (2010)
9. Milner, R.: Functions as processes. Mathematical Structures in Computer Science 2(2), 119-141 (1992)
10. Milner, R., Parrow, J.,Walker, D.: A calculus of mobile processes, part I/II. Journal of Information and Computation 100, 1-77 (1992)
11. Padovani, L.: Session types at the mirror. EPTCS 12, 71-86 (2009)
12. Pierce, B.C.: Types and Programming Languages. MIT Press, Cambridge (2002)
13. Takeuchi, K., Honda, K., Kubo, M.: An Interaction-based Language and its Typing System. In: Halatsis, C., Philokyprou, G., Maritsas, D., Theodoridis, S. (eds.) PARLE 1994. LNCS, vol. 817, pp. 398-413. Springer, Heidelberg (1994)
14. Vasconcelos, V.T.: Fundamentals of Session Types. In: Bernardo, M., Padovani, L., Zavattaro, G. (eds.) SFM 2009. LNCS, vol. 5569, pp. 158-186. Springer, Heidelberg (2009)
15. Vasconcelos, V.T.: Lambda and pi calculi, CAM and SECD machines. Journal of Functional Programming 15(1), 101-127 (2005)
16. Walker, D.: Substructural Type Systems. In: Advanced Topics in Types and Programming Languages. MIT Press, Cambridge (2005)
17. Yoshida, N., Vasconcelos, V.T.: Language primitives and type discipline for structured communication-based programming revisited. In: SecReT 2007. ENTCS, vol. 171(4), pp. 73-93. Elsevier Science Publishers, Amsterdam (2007)