An ACL for Specifying Fault-Tolerant Protocols

Nicola Dragoni, Mauro Gaspari, Davide Guidi. An ACL for Specifying Fault-Tolerant Protocols. Applied Artificial Intelligence, 21(4&5):361-381, 2007. [doi]

Abstract

Abstract is missing.