Browse by Aston Author

2021

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.

2019

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 and Yoshida, Nobuko (2019). Less is more: multiparty session types revisited. Proceedings of the ACM on Programming Languages, 3 (POPL),

2018

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

2017

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, 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 (2017). Multiparty session types, beyond duality (Abstract). Electronic Proceedings in Theoretical Computer Science, EPTCS, 246 , pp. 37-38.

2016

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 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.

2015

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.