Less is more: multiparty session types revisited A Scalas, N Yoshida Proceedings of the ACM on Programming Languages 3 (POPL), 1-29, 2019 | 132 | 2019 |
Lightweight session programming in scala A Scalas, N Yoshida Schloss Dagstuhl-Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing 56, 21, 2016 | 107 | 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 | 99 | 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 | 81 | 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 | 48 | 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 | 44 | 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 | 40 | 2023 |
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 C Bartolo Burlò, A Francalanza, A Scalas Schloss Dagstuhl–Leibniz-Zentrum für Informatik GmbH, 2021 | 24 | 2021 |
Generalised multiparty session types with crash-stop failures AD Barwell, A Scalas, N Yoshida, F Zhou Schloss Dagstuhl–Leibniz-Zentrum für Informatik, 2022 | 22 | 2022 |
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 | 19 | 2019 |
Honesty by typing M Bartoletti, A Scalas, E Tuosto, R Zunino Logical Methods in Computer Science 12, 2017 | 19 | 2017 |
Choreography synthesis as contract agreement J Lange, A Scalas arXiv preprint arXiv:1310.4573, 2013 | 14 | 2013 |
A formal model of Algorand smart contracts M Bartoletti, A Bracciali, C Lepore, A Scalas, R Zunino Financial Cryptography and Data Security: 25th International Conference, FC …, 2021 | 13 | 2021 |
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 | 13 | 2017 |
A linear decomposition of multiparty sessions for safe distributed programming (artifact) A Scalas, O Dardha, R Hu, N Yoshida Schloss-Dagstuhl-Leibniz Zentrum für Informatik, 2017 | 13 | 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 | 13 | 2008 |
Choreographies in the wild M Bartoletti, J Lange, A Scalas, R Zunino Science of Computer Programming 109, 36-60, 2015 | 12 | 2015 |
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 |