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