| Less is more: multiparty session types revisited A Scalas, N Yoshida Proceedings of the ACM on Programming Languages 3 (POPL), 1-29, 2019 | 104 | 2019 |
| Lightweight session programming in scala A Scalas, N Yoshida Schloss Dagstuhl-Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing 56, 21, 2016 | 103 | 2016 |
| A linear decomposition of multiparty sessions for safe distributed programming A Scalas, O Dardha, R Hu, N Yoshida 31st European Conference on Object-Oriented Programming (ECOOP 2017), 2017 | 89 | 2017 |
| On the preciseness of subtyping in session types TC Chen, M Dezani-Ciancaglini, N Yoshida Proceedings of the 16th International Symposium on Principles and Practice …, 2014 | 71 | 2014 |
| Verifying message-passing programs with dependent behavioural types A Scalas, N Yoshida, E Benussi Proceedings of the 40th ACM SIGPLAN Conference on Programming Language …, 2019 | 40 | 2019 |
| Precise subtyping for synchronous multiparty sessions S Ghilezan, S Jakšić, J Pantović, A Scalas, N Yoshida Journal of Logical and Algebraic Methods in Programming 104, 127-173, 2019 | 34 | 2019 |
| A semantic deconstruction of session types M Bartoletti, A Scalas, R Zunino International Conference on Concurrency Theory, 402-418, 2014 | 29 | 2014 |
| Precise subtyping for asynchronous multiparty sessions S Ghilezan, J Pantović, I Prokić, A Scalas, N Yoshida ACM Transactions on Computational Logic 24 (2), 1-73, 2023 | 27 | 2023 |
| Honesty by typing M Bartoletti, A Scalas, E Tuosto, R Zunino International Conference on Formal Methods for Open Object-Based Distributed …, 2013 | 25 | 2013 |
| Effpi: verified message-passing programs in dotty A Scalas, N Yoshida, E Benussi Proceedings of the Tenth ACM SIGPLAN Symposium on Scala, 27-31, 2019 | 16 | 2019 |
| On the monitorability of session types, in theory and practice C Bartolo Burlò, A Francalanza, A Scalas Schloss Dagstuhl–Leibniz-Zentrum für Informatik GmbH, 2021 | 15 | 2021 |
| Honesty by typing M Bartoletti, A Scalas, E Tuosto, R Zunino Logical Methods in Computer Science 12, 2017 | 15 | 2017 |
| Choreography synthesis as contract agreement J Lange, A Scalas arXiv preprint arXiv:1310.4573, 2013 | 13 | 2013 |
| High-performance technical computing with erlang A Scalas, G Casu, P Pili Proceedings of the 7th ACM SIGPLAN workshop on ERLANG, 49-60, 2008 | 13 | 2008 |
| A linear decomposition of multiparty sessions for safe distributed programming (artifact) A Scalas, O Dardha, R Hu, N Yoshida DARTS-Dagstuhl Artifacts Series 3, 2017 | 12 | 2017 |
| Choreographies in the wild M Bartoletti, J Lange, A Scalas, R Zunino Science of Computer Programming 109, 36-60, 2015 | 12 | 2015 |
| Verifiable abstractions for contract-oriented systems M Bartoletti, M Murgia, A Scalas, R Zunino Journal of Logical and Algebraic Methods in Programming 86 (1), 159-207, 2017 | 11 | 2017 |
| Modelling and verifying contract-oriented systems in Maude M Bartoletti, M Murgia, A Scalas, R Zunino Rewriting Logic and Its Applications: 10th International Workshop, WRLA 2014 …, 2014 | 11 | 2014 |
| Multiparty session types, beyond duality A Scalas, N Yoshida Journal of Logical and Algebraic Methods in Programming 97, 55-84, 2018 | 9 | 2018 |
| Generalised multiparty session types with crash-stop failures AD Barwell, A Scalas, N Yoshida, F Zhou 33rd International Conference on Concurrency Theory (CONCUR 2022), 2022 | 7 | 2022 |
Nobuko YoshidaDepartment of Computer Science, University of OxfordBestätigte E-Mail-Adresse bei cs.ox.ac.uk
