Browse by Aston Author

Article

Ghilezan, Silvia, Pantović, Jovanka, Prokić, Ivan, Scalas, Alceste and Yoshida, Nobuko (2021). Precise subtyping for asynchronous multiparty sessions. Proceedings of the ACM on Programming Languages, 5 (POPL), pp. 1-28.

Scalas, Alceste and Yoshida, Nobuko (2019). Less is more: multiparty session types revisited. Proceedings of the ACM on Programming Languages, 3 (POPL),

Scalas, Alceste and Yoshida, Nobuko (2018). Multiparty session types, beyond duality. Journal of Logical and Algebraic Methods in Programming, 97 , pp. 55-84.

Chen, Tzu Chun, Dezani-Ciancaglini, Mariangiola, Scalas, Alceste and Yoshida, Nobuko (2017). On the preciseness of subtyping in session types. Logical Methods in Computer Science, 13 (2),

Scalas, Alceste and Yoshida, Nobuko (2017). Multiparty session types, beyond duality (Abstract). Electronic Proceedings in Theoretical Computer Science, EPTCS, 246 , pp. 37-38.

Bartoletti, Massimo, Scalas, Alceste, Tuosto, Emilio and Zunino, Roberto (2016). Honesty by typing. Logical Methods in Computer Science, 12 (4:7), pp. 1-58.

Scalas, Alceste and Bartoletti, Massimo (2015). The LTS WorkBench. Electronic Proceedings in Theoretical Computer Science, EPTCS, 189 , pp. 86-98.

Bartoletti, Massimo, Lange, Julien, Scalas, Alceste and Zunino, Roberto (2015). Choreographies in the wild. Science of Computer Programming, 109 , pp. 36-60.

Book Section

Scalas, Alceste, Yoshida, Nobuko and Benussi, Elias (2019). Effpi: Verified Message-Passing Programs in Dotty. IN: Scala 2019 - Proceedings of the 10th ACM SIGPLAN International Symposium on Scala, Part of ECOOP 2019. Scala 2019 - Proceedings of the 10th ACM SIGPLAN International Symposium on Scala, Part of ECOOP 2019 . GBR: ACM.

Scalas, Alceste, Yoshida, Nobuko and Benussi, Elias (2019). Verifying message-passing programs with dependent behavioural types. IN: PLDI 2019 - Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation. McKinley, Kathryn S. and Fisher, Kathleen (eds) USA: ACM.

Scalas, Alceste, Dardha, Ornela, Hu, Raymond and Yoshida, Nobuko (2017). A linear decomposition of multiparty sessions for safe distributed programming. IN: 31st European Conference on Object-Oriented Programming, ECOOP 2017. Muller, Peter (ed.) ESP: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing.

Scalas, Alceste and Yoshida, Nobuko (2016). Lightweight session programming in scala. IN: 30th European Conference on Object-Oriented Programming, ECOOP 2016. Lerner, Benjamin S. and Krishnamurthi, Shriram (eds) 30th European Conference on Object-Oriented Programming (ECOOP 2016), 56 . ITA: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing.