Cited By
View all- Voinea AGay SAnslow CLaToza TSunshine J(2016)Benefits of session types for software developmentProceedings of the 7th International Workshop on Evaluation and Usability of Programming Languages and Tools10.1145/3001878.3001883(26-29)Online publication date: 1-Nov-2016
- Honda KYoshida NCarbone M(2016)Multiparty Asynchronous Session TypesJournal of the ACM10.1145/282769563:1(1-67)Online publication date: 3-Mar-2016
- COPPO MDEZANI-CIANCAGLINI MYOSHIDA NPADOVANI L(2014)Global progress for dynamically interleaved multiparty sessionsMathematical Structures in Computer Science10.1017/S096012951400018826:02(238-302)Online publication date: 10-Nov-2014
- Show More Cited By