| 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 |
| Lightweight session programming in scala A Scalas, N Yoshida Schloss Dagstuhl-Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing 56, 21, 2016 | 119 | 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), 24: 1 …, 2017 | 110 | 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 | 96 | 2014 |
| 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 | 64 | 2019 |
| 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 | 59 | 2019 |
| 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 | 57 | 2023 |
| Generalised multiparty session types with crash-stop failures AD Barwell, A Scalas, N Yoshida, F Zhou Schloss Dagstuhl–Leibniz-Zentrum für Informatik, 2022 | 36 | 2022 |
| A semantic deconstruction of session types M Bartoletti, A Scalas, R Zunino International Conference on Concurrency Theory, 402-418, 2014 | 30 | 2014 |
| Honesty by typing M Bartoletti, A Scalas, E Tuosto, R Zunino International Conference on Formal Methods for Open Object-Based Distributed …, 2013 | 28 | 2013 |
| On the monitorability of session types, in theory and practice CB Burlò, A Francalanza, A Scalas 35th European Conference on Object-Oriented Programming, 20: 1--20: 30, 2021 | 26 | 2021 |
| A formal model of Algorand smart contracts M Bartoletti, A Bracciali, C Lepore, A Scalas, R Zunino International Conference on Financial Cryptography and Data Security, 93-114, 2021 | 23 | 2021 |
| 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 | 22 | 2019 |
| Honesty by typing M Bartoletti, A Scalas, E Tuosto, R Zunino Logical Methods in Computer Science 12, 2017 | 22 | 2017 |
| Using nanotechnology to prevent fines migration while production M Mansour, M Eleraki, A Noah, EA Moustafa Petroleum 7 (2), 168-177, 2021 | 20 | 2021 |
| Choreography synthesis as contract agreement J Lange, A Scalas arXiv preprint arXiv:1310.4573, 2013 | 15 | 2013 |
| 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 | 14 | 2017 |
| A linear decomposition of multiparty sessions for safe distributed programming (artifact) A Scalas, O Dardha, R Hu, N Yoshida Dagstuhl Artifacts Series 3 (2), 3: 1-3: 3, 2017 | 14 | 2017 |
| High-performance technical computing with erlang A Scalas, G Casu, P Pili Proceedings of the 7th ACM SIGPLAN workshop on ERLANG, 49-60, 2008 | 14 | 2008 |
| Choreographies in the wild M Bartoletti, J Lange, A Scalas, R Zunino Science of Computer Programming 109, 36-60, 2015 | 13 | 2015 |
Nobuko YoshidaDepartment of Computer Science, University of OxfordVerified email at cs.ox.ac.uk
