From lock freedom to progress using session types

Electronic Proceedings in Theoretical Computer Science, EPTCS

Volumn 137, Issue , 2013, Pages 3-19

  Padovani, Luca ^a  

^a UNIVERSITY OF TURIN   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; LOCKS (FASTENERS);

BEHAVIORAL TYPE SYSTEM; LOCK FREEDOMS; RELATED SYSTEMS; SESSION TYPES; TYPE SYSTEMS;

COMPUTATIONAL LINGUISTICS;

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

References (15)

1. Franco Barbanera & Ugo de'Liguoro (2010): Two notions of sub-behaviour for session-based client/server systems. In: Proceedings of PPDP'10, ACM, pp. 155-164, DOI: 10.1145/1836089.1836109.
2. Lorenzo Bettini, Mario Coppo, Loris D'Antoni, Marco De Luca, Mariangiola Dezani-Ciancaglini & Nobuko Yoshida (2008): Global Progress in Dynamically Interleaved Multiparty Sessions. In: Proceedings of CON-CUR'08, LNCS 5201, pp. 418-433, DOI: 10.1007/978-3-540-85361-9-33.
3. Viviana Bono & Luca Padovani (2012): Typing Copyless Message Passing. Logical Methods in Computer Science 8, pp. 1-50, DOI: 10.2168/LMCS-8(1:17)2012.
4. Luís Caires & Frank Pfenning (2010): Session Types as Intuitionistic Linear Propositions. In: Proceedings of CONCUR'10, LNCS 6269, pp. 222-236, DOI: 10.1007/978-3-642-15375-4-16.
5. Marco Carbone & Fabrizio Montesi (2013): Deadlock-freedom-by-design: multiparty asynchronous global programming. In: Proceedings of POPL'13, ACM, pp. 263-274, DOI: 10.1145/2429069.2429101.
6. Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Elena Giachino & Luca Padovani (2009): Foundations of Session Types. In: Proceedings of PPDP'09, ACM, pp. 219-230, DOI: 10.1145/1599410.1599437.
7. Mario Coppo, Mariangiola Dezani-Ciancaglini, Luca Padovani & Nobuko Yoshida (2013): Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions. In: Proceedings COORDI-NATION'13, LNCS 7890, Springer, pp. 45-59, DOI: 10.1007/978-3-642-38493-6-4.
8. Ornela Dardha, Elena Giachino & Davide Sangiorgi (2012): Session types revisited. In: Proceedings of PPDP'12, ACM, pp. 139-150, DOI: 10.1145/2370776.2370794.
9. Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro & Nobuko Yoshida (2008): On Progress for Structured Communications. In: Proceedings of TGC'07, LNCS 4912, pp. 257-275, DOI: 10.1007/978-3-540-78663-4-18.
10. Simon Gay & Malcolm Hole (2005): Subtyping for session types in thep-calculus. Acta Informatica 42(2-3), pp. 191-225, DOI: 10.1007/s00236-005-0177-z.
11. Naoki Kobayashi (2002): A Type System for Lock-Free Processes. Information and Computation 177(2), pp. 122-159, DOI: 10.1006/inco.2002.3171.
12. Luca Padovani (2011): Session Types = Intersection Types + Union Types. In: Proceedings of ITRS'10, EPTCS 45, pp. 71-89, DOI: 10.4204/EPTCS.45.6.
13. Luca Padovani (2012): On Projecting Processes into Session Types. Mathematical Structures in Computer Science 22, pp. 237-289, DOI: 10.1017/S0960129511000405.
14. Hugo Torres Vieira & Vasco Thudichum Vasconcelos (2013): Typing Progress in Communication-Centred Systems. In: Proceedings of COORDINATION'13, LNCS 7890, Springer, pp. 236-250, DOI: 10.1007/978-3-642-38493-6-17.
15. Philip Wadler (2012): Propositions as sessions. In: Proceedings of ICFP'12, ACM, pp. 273-286, DOI: 10.1145/2364527.2364568.