Lightening global types

Journal of Logical and Algebraic Methods in Programming

Volumn 84, Issue 5, 2015, Pages 708-729

  Chen, Tzu Chun ^a  

^a UNIVERSITY OF TURIN   (Italy)

Author keywords

Communication centred programming; Global types; Session types

Indexed keywords

GLOBAL TYPES; SESSION TYPES;

EID: 84938688534     PISSN: None     EISSN: 23522216     Source Type: Journal    
DOI: 10.1016/j.jlamp.2015.06.003     Document Type: Article

References (24)

1. T.-C. Chen Lightening global types PLACES EPTCS vol. 155 2014 38 46
2. K. Honda, A. Mukhamedov, G. Brown, T.-C. Chen, and N. Yoshida Scribbling interactions with a formal foundation ICDCIT LNCS vol. 6536 2011 55 75
3. K. Honda, N. Yoshida, and M. Carbone Multiparty asynchronous session types POPL 2008 ACM 273 284
4. L. Bettini, M. Coppo, L. D'Antoni, M. De Luca, M. Dezani-Ciancaglini, and N. Yoshida Global progress in dynamically interleaved multiparty sessions CONCUR LNCS vol. 5201 2008 Springer 418 433
5. P.-M. Deniélou, and N. Yoshida Dynamic multirole session types POPL 2011 ACM 435 446
6. P.-M. Deniélou, and N. Yoshida Multiparty session types meet communicating automata ESOP LNCS vol. 7211 2012 Springer 194 213
7. L. Bocchi, T.-C. Chen, R. Demangeon, K. Honda, and N. Yoshida Monitoring networks through multiparty session types FMOODS/FORTE LNCS vol. 7892 2013 Springer 50 65
8. D. Mostrous, and N. Yoshida Session-based communication optimisation for higher-order mobile processes TLCA LNCS vol. 5608 2009 Springer 203 218
9. D. Mostrous Session types in concurrent calculi: higher-order processes and objects Ph.D. thesis 2009 Imperial College London
10. G. Castagna, M. Dezani-Ciancaglini, and L. Padovani On global types and multi-party sessions Log. Methods Comput. Sci. 8 2012 1 45
11. K. Honda, V.T. Vasconcelos, and M. Kubo Language primitives and type disciplines for structured communication-based programming ESOP LNCS vol. 1381 1998 Springer 122 138
12. P. Baltazar, L. Caires, V.T. Vasconcelos, and H.T. Vieira A type system for flexible role assignment in multiparty communicating systems TGC LNCS vol. 8191 2013 Springer 82 96
13. L. Bocchi, K. Honda, E. Tuosto, and N. Yoshida A theory of design-by-contract for distributed multiparty interactions CONCUR LNCS vol. 6269 2010 Springer 162 176
14. T.-C. Chen, and K. Honda Specifying stateful asynchronous properties for distributed programs CONCUR LNCS vol. 7454 2012 209 224
15. S. Capecchi, I. Castellani, M. Dezani-Ciancaglini, and T. Rezk Session types for access and information flow control CONCUR LNCS vol. 6269 2010 Springer 237 252
16. S. Capecchi, I. Castellani, and M. Dezani-Ciancaglini Information flow safety in multiparty sessions EXPRESS EPTCS vol. 64 2011 16 31
17. V. Bono, S. Capecchi, I. Castellani, and M. Dezani-Ciancaglini A reputation system for multirole sessions TGC LNCS vol. 7173 2012 Springer 1 24
18. H.T. Vieira, L. Caires, and J.C. Seco The conversation calculus: a model of service-oriented computation ESOP vol. 4960 2008 Springer 269 283
19. L. Caires, and H.T. Vieira Conversation types Theor. Comput. Sci. 411 51-52 2010 4399 4440
20. P. Deniélou, and N. Yoshida Dynamic multirole session types POPL 2011 ACM 435 446
21. S. Ghilezan, S. Jaksic, J. Pantovic, J.A. Pérez, and H.T. Vieira Dynamic role authorization in multiparty conversations BEAT EPTCS vol. 162 2014 1 8
22. R. Demangeon, and K. Honda Nested protocols in session types CONCUR LNCS vol. 7454 2012 Springer 272 286
23. M. Carbone, and F. Montesi Merging multiparty protocols in multiparty choreographies PLACES EPTCS vol. 109 2012 21 27
24. L. Caires, and J.A. Pérez A typeful characterization of multiparty structured conversations based on binary sessions CoRR arXiv:1407.4242