Pubblicazioni
-
Joaquín Arias, Roberta Calegari, Luke Dickens, Wolfgang Faber, Jorge Fandinno, Gopal Gupta, Markus Hecher, Daniela Inclezan, Emily LeBlanc, Michael Morak, Elmer Salazar, Jessica Zangari, Proceedings of the International Conference on Logic Programming 2022 Workshops co-located with the 38th International Conference on Logic Programming (ICLP 2022), AAchen, CEUR, 2022, pp. 243 . [Curatela]
-
Ciccone, Luca; Dagnino, Francesco; Padovani, Luca, Fair Termination of Multiparty Sessions, in: Proceedings of the 36th European Conference on Object-Oriented Programming, ECOOP 2022, Schloss Dagstuhl - Leibniz Center for Informatic, «LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS», 2022, 222, pp. 1 - 26 (atti di: European Conference on Object-Oriented Programming, Berlin, Germany, June 6-10, 2022) [Contributo in Atti di convegno] Open Access