An interval logic for higher-level temporal reasoning (1983)

by Richard L Schwartz, P M Melliar-Smith, Friedrich H Vogt
Venue:In PODC ’83: Proceedings of the second annual ACM symposium on Principles of distributed computing