urn:nbn:it:unibo-379
Chesani, Federico (2007) Specification, execution and verification of interaction protocols: an approach based on computational logic, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Ingegneria elettronica, informatica e delle telecomunicazioni