1. Ancona, D.: Regular corecursion in Prolog. Computer Languages, Systems & Structures 39(4), 142–162 (2013)
2. Ancona, D., Barbieri, M., Mascardi, V.: Constrained global types for dynamic checking of protocol conformance in multi-agent systems. In: Shin, S.Y., Maldonado, J.C. (eds.) Proceedings of the 28th Annual ACM Symposium on Applied Computing, SAC 2013, pp. 1377–1379 (2013)
3. Lecture Notes in Computer Science;D. Ancona,2013
4. LNAI;M. Baldoni,2013
5. Baldoni, M., Baroglio, C., Chopra, A.K., Desai, N., Patti, V., Singh, M.P.: Choice, interoperability, and conformance in interaction protocols and service choreographies. In: Sierra, C., Castelfranchi, C., Decker, K.S., Sichman, J.S. (eds.) 8th International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS 2009, vol. 2, pp. 843–850. IFAAMAS (2009)