TIMESETS -- A New Method for Temporal Reasoning about Programs

Partial orders for parallel debugging

PADD '88 Proceedings of the 1988 ACM SIGPLAN and SIGOPS workshop on Parallel and distributed debugging

Real-time interval logic for reasoning about executions of real-time programs

TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification

Specification and verification of active message systems

SIGSMALL '90 Proceedings of the 1990 ACM SIGSMALL/PC symposium on Small systems

Abstractions from time

Programming methodology

An interval logic for higher-level temporal reasoning

PODC '83 Proceedings of the second annual ACM symposium on Principles of distributed computing