Reasoning about commitments in the event calculus: An approach for specifying and executing protocols
agent communication languages and protocols
scientific article; zbMATH DE number 2128521