1. Iterative algebras at work
2. A theoretical perspective of coinductive logic programming;Ancona Davide;Fundamenta Informaticae,2015
3. Connecting open systems of communicating finite state machines
4. Franco Barbanera , Mariangiola Dezani-Ciancaglini , and Ugo de’ Liguoro . 2022. Open compliance in multiparty sessions . In FACS(LNCS, Vol. 13712), S. Lizeth Tapia Tarifa and José Proença (Eds.) . Springer , Berlin , 222–243. https://doi.org/10.1007/978-3-031- 2087 2-0_13 extended version at http://www.di.unito.it/ dezani/papers/bd23b.pdf. 10.1007/978-3-031-20872-0_13 Franco Barbanera, Mariangiola Dezani-Ciancaglini, and Ugo de’Liguoro. 2022. Open compliance in multiparty sessions. In FACS(LNCS, Vol. 13712), S. Lizeth Tapia Tarifa and José Proença (Eds.). Springer, Berlin, 222–243. https://doi.org/10.1007/978-3-031-20872-0_13 extended version at http://www.di.unito.it/ dezani/papers/bd23b.pdf.
5. Composition and decomposition of multiparty sessions