Multiparty asynchronous session types K Honda, N Yoshida, M Carbone Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2008 | 1032 | 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 | 369 | 2007 |
Multiparty asynchronous session types K Honda, N Yoshida, M Carbone Journal of the ACM (JACM) 63 (1), 1-67, 2016 | 366 | 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 | 250 | 2008 |
Session-based distributed programming in Java R Hu, N Yoshida, K Honda ECOOP 2008–Object-Oriented Programming: 22nd European Conference Paphos …, 2008 | 229 | 2008 |
Multiparty session types meet communicating automata PM Deniélou, N Yoshida European Symposium on Programming, 194-213, 2012 | 223 | 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 | 202 | 2007 |
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 | 200 | 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 | 199 | 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 | 192 | 2006 |
Dynamic multirole session types PM Deniélou, N Yoshida Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2011 | 186 | 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 | 181 | 2000 |
Strong Normalisation in the π-Calculus N Yoshida, M Berger, K Honda Information and Computation 191 (2), 145-202, 2004 | 173 | 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 | 172 | 2015 |
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 | 170 | 2016 |
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 | 168 | 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 | 167 | 2011 |
The Scribble protocol language N Yoshida, R Hu, R Neykova, N Ng Trustworthy Global Computing: 8th International Symposium, TGC 2013, Buenos …, 2014 | 153 | 2014 |