Nicola Dragoni, Mauro Gaspari, Davide Guidi. An ACL for Specifying Fault-Tolerant Protocols. In Stefania Bandini, Sara Manzoni, editors, AI*IA 2005: Advances in Artificial Intelligence, 9th Congress of the Italian Association for Artificial Intelligence, Milan, Italy, September 21-23, 2005, Proceedings. Volume 3673 of Lecture Notes in Computer Science, pages 237-248, Springer, 2005. [doi]
Abstract is missing.