| Multiparty asynchronous session types K Honda, N Yoshida, M Carbone Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2008 | 1120 | 2008 |
| Multiparty asynchronous session types K Honda, N Yoshida, M Carbone Journal of the ACM (JACM) 63 (1), 1-67, 2016 | 423 | 2016 |
| On reduction-based process semantics K Honda, N Yoshida Theoretical Computer Science 151 (2), 437-486, 1995 | 399 | 1995 |
| Structured communication-centred programming for web services M Carbone, K Honda, N Yoshida European Symposium on Programming, 2-17, 2007 | 378 | 2007 |
| Global progress in dynamically interleaved multiparty sessions L Bettini, M Coppo, L D’Antoni, M De Luca, M Dezani-Ciancaglini, ... International Conference on Concurrency Theory, 418-433, 2008 | 268 | 2008 |
| Multiparty session types meet communicating automata PM Deniélou, N Yoshida European Symposium on Programming, 194-213, 2012 | 240 | 2012 |
| Session-based distributed programming in Java R Hu, N Yoshida, K Honda European Conference on Object-Oriented Programming, 516-541, 2008 | 234 | 2008 |
| Behavioral types in programming languages D Ancona, V Bono, M Bravetti, J Campos, G Castagna, PM Deniélou, ... Foundations and trends in programming languages 3 (2-3), 95-230, 2016 | 221 | 2016 |
| Language primitives and type discipline for structured communication-based programming revisited: Two systems for higher-order session communication N Yoshida, VT Vasconcelos Electronic Notes in Theoretical Computer Science 171 (4), 73-93, 2007 | 212 | 2007 |
| A theory of design-by-contract for distributed multiparty interactions L Bocchi, K Honda, E Tuosto, N Yoshida International Conference on Concurrency Theory, 162-176, 2010 | 204 | 2010 |
| Session types for object-oriented languages M Dezani-Ciancaglini, D Mostrous, N Yoshida, S Drossopoulou European Conference on Object-Oriented Programming, 328-352, 2006 | 199 | 2006 |
| From communicating machines to graphical choreographies J Lange, E Tuosto, N Yoshida Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2015 | 189 | 2015 |
| Dynamic multirole session types PM Deniélou, N Yoshida Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2011 | 189 | 2011 |
| Global progress for dynamically interleaved multiparty sessions M Coppo, M Dezani-Ciancaglini, N Yoshida, L Padovani Mathematical Structures in Computer Science 26 (2), 238-302, 2016 | 181 | 2016 |
| Secure information flow as typed process behaviour K Honda, V Vasconcelos, N Yoshida European Symposium on Programming, 180-199, 2000 | 181 | 2000 |
| Graph types for monadic mobile processes N Yoshida International Conference on Foundations of Software Technology and …, 1996 | 180 | 1996 |
| Less is more: multiparty session types revisited A Scalas, N Yoshida Proceedings of the ACM on Programming Languages 3 (POPL), 1-29, 2019 | 178 | 2019 |
| Strong Normalisation in the π-Calculus N Yoshida, M Berger, K Honda Information and Computation 191 (2), 145-202, 2004 | 178 | 2004 |
| Multiparty compatibility in communicating automata: Characterisation and synthesis of global session types PM Deniélou, N Yoshida International Colloquium on Automata, Languages, and Programming, 174-186, 2013 | 176 | 2013 |
| Scribbling interactions with a formal foundation K Honda, A Mukhamedov, G Brown, TC Chen, N Yoshida International Conference on Distributed Computing and Internet Technology, 55-75, 2011 | 172 | 2011 |
