| Multiparty asynchronous session types K Honda, N Yoshida, M Carbone Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2008 | 982 | 2008 |
| On reduction-based process semantics K Honda, N Yoshida Theoretical Computer Science 151 (2), 437-486, 1995 | 395 | 1995 |
| Structured communication-centred programming for web services M Carbone, K Honda, N Yoshida Programming Languages and Systems: 16th European Symposium on Programming …, 2007 | 365 | 2007 |
| Multiparty asynchronous session types K Honda, N Yoshida, M Carbone Journal of the ACM (JACM) 63 (1), 1-67, 2016 | 349 | 2016 |
| 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 | 243 | 2008 |
| Session-based distributed programming in Java R Hu, N Yoshida, K Honda ECOOP 2008–Object-Oriented Programming: 22nd European Conference Paphos …, 2008 | 220 | 2008 |
| Multiparty session types meet communicating automata PM Deniélou, N Yoshida European Symposium on Programming, 194-213, 2012 | 213 | 2012 |
| 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 | 197 | 2007 |
| Session types for object-oriented languages M Dezani-Ciancaglini, D Mostrous, N Yoshida, S Drossopoulou European Conference on Object-Oriented Programming, 328-352, 2006 | 191 | 2006 |
| 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 | 188 | 2016 |
| A theory of design-by-contract for distributed multiparty interactions L Bocchi, K Honda, E Tuosto, N Yoshida CONCUR 2010-Concurrency Theory: 21th International Conference, CONCUR 2010 …, 2010 | 187 | 2010 |
| Dynamic multirole session types PM Deniélou, N Yoshida Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2011 | 183 | 2011 |
| Graph types for monadic mobile processes N Yoshida International Conference on Foundations of Software Technology and …, 1996 | 182 | 1996 |
| Secure information flow as typed process behaviour K Honda, V Vasconcelos, N Yoshida Programming Languages and Systems: 9th European Symposium on Programming …, 2000 | 179 | 2000 |
| Strong Normalisation in the π-Calculus N Yoshida, M Berger, K Honda Information and Computation 191 (2), 145-202, 2004 | 169 | 2004 |
| 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 | 168 | 2015 |
| 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 | 161 | 2013 |
| 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 | 160 | 2016 |
| 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 | 156 | 2011 |
| Global principal typing in partially commutative asynchronous sessions D Mostrous, N Yoshida, K Honda Programming Languages and Systems: 18th European Symposium on Programming …, 2009 | 145 | 2009 |
