Multiparty session types within a canonical binary theory, and beyond

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

Volumn 9688, Issue , 2016, Pages 74-95

  Caires, Luís ^a   Pérez, Jorge A ^b  

^a UNIVERSIDADE NOVA DE LISBOA   (Portugal)

^b UNIVERSITY OF GRONINGEN   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

BINS; COMPUTATION THEORY; FORMAL LANGUAGES;

ANALYSIS TECHNIQUES; BINARY PROTOCOLS; BINARY SYSTEMS; DEADLOCK FREEDOM; MULTI-PARTY PROTOCOLS; MULTIPARTY SESSIONS; SESSION TYPES; SOFTWARE SERVICES;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 84977548790     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-319-39570-8_6     Document Type: Conference Paper

References (22)

1. Bocchi, L., Honda, K., Tuosto, E., Yoshida, N.: A theory of design-by-contract for distributed multiparty interactions. In: Gastin, P., Laroussinie, F. (eds.) CONCUR 2010. LNCS, vol. 6269, pp. 162–176. Springer, Heidelberg (2010)
2. Bonelli, E., Compagnoni, A., Gunter, E.: Correspondence assertions for process synchronization in concurrent communications. J. Funct. Program. 15, 219–247 (2005)
3. Caires, L., Pérez, J.A.: A typeful characterization of multiparty structured conversations based on binary sessions. CoRR, abs/1407.4242 (2014)
4. Caires, L., Pérez, J.A., Pfenning, F., Toninho, B.: Behavioral polymorphism and parametricity in session-based communication. In: Felleisen, M., Gardner, P. (eds.) ESOP 2013. LNCS, vol. 7792, pp. 330–349. Springer, Heidelberg (2013). See also Technical Report CMU-CS-12-108, April 2012
5. 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)
6. Carbone, M., Montesi, F.: Deadlock-freedom-by-design: multiparty asynchronous global programming. In: POPL, pp. 263–274. ACM (2013)
7. Carbone, M., Montesi, F., Schürmann, C., Yoshida, N.: Multiparty session types as coherence proofs. In: CONCUR 2015. LIPIcs, vol. 42, pp. 412–426. Dagstuhl (2015)
8. Castagna, G., Gesbert, N., Padovani, L.: A theory of contracts for web services. In: POPL, ACM SIGPLAN Notices 43, pp. 261–272. ACM (2008)
9. Chen, T.: Lightening global types. J. Logic Algebraic Meth. Program. 84(5), 708–729 (2015)
10. Coppo, M., Dezani-Ciancaglini, M., Yoshida, N., Padovani, L.: Global progress for dynamically interleaved multiparty sessions. Math. Struct. Comput. Sci. 26(2), 238–302 (2016)
11. Demangeon, R., Yoshida, N.: On the expressiveness of multiparty session types. In: FSTTCS 2015. LIPIcs. Dagstuhl (2015)
12. Deniélou, P.-M., Yoshida, N.: Multiparty compatibility in communicating automata: characterisation and synthesis of global session types. In: Fomin, F.V., Freivalds, R., Kwiatkowska, M., Peleg, D. (eds.) ICALP 2013, Part II. LNCS, vol. 7966, pp. 174–186. Springer, Heidelberg (2013)
13. 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)
14. Honda, K., Yoshida, N., Carbone, M.: Multiparty asynchronous session types. In: POPL, pp. 273–284. ACM (2008)
15. Huttel, H., et al.: Foundations of session types and behavioural contracts. ACM Comput. Surv. 49(1), 3:1–3:36 (2016). doi:10.1145/2873052
16. Lange, J., Tuosto, E., Yoshida, N.: From communicating machines to graphical choreographies. In: Proceedings of POPL 2015, pp. 221–232. ACM (2015)
17. McIlvenna, S., Dumas, M., Wynn, M.T.: Synthesis of orchestrators from service choreographies. In: APCCM. CRPIT, vol. 96. Australian Computer Society (2009)
18. Padovani, L.: Deadlock and lock freedom in the linear π-calculus. In: Proceedings of CSL-LICS 2014, pp. 72:1–72:10. ACM (2014). http://hal.archives-ouvertes.fr/hal-00932356v2/document
19. Pérez, J.A., Caires, L., Pfenning, F., Toninho, B.: Linear logical relations and observational equivalences for session-based concurrency. Inf. Comput. 239, 254–302 (2014)
20. Sangiorgi, D., Walker, D.: The π-calculus: A Theory of Mobile Processes. CUP, Cambridge (2001)
21. Toninho, B., Caires, L., Pfenning, F.: Corecursion and non-divergence in sessiontyped processes. In: Maffei, M., Tuosto, E. (eds.) TGC 2014. LNCS, vol. 8902, pp. 159–175. Springer, Heidelberg (2014)
22. Wadler, P.: Propositions as sessions. J. Funct. Program. 24(2–3), 384–418 (2014)