Half-order modal logic: How to prove real-time properties
T.A. Henzinger, in:, Proceedings of the 9th Annual ACM Symposium on Principles of Distributed Computing, ACM, 1990, pp. 281–296.
LibreCat: https://research-explorer.ista.ac.at/record/4522
DOI: 10.1145/93385.93429