Reasoning about Partial State Spaces, Proceedings of the 11th International Conference on Concurrency Theory, p
Generalized Model C
Temporal logics for normative agent communication protocols