Flexible protocol specification and execution
Reasoning about Commitments in the Event Calculus: An Approach for Specifying and Executing Protocols
Annals of Mathematics and Artificial Intelligence
Proceedings of the first international joint conference on Autonomous agents and multiagent systems part 2 - AAMAS ’02
Munindar P. Singh
An executable specification of an argumentation protocol
Specifying norm-governed computational societies