Propositional Linear Temporal Logic and Language Homomorphisms

A verification method based on homomorphic model abstractions (abstract)

PODC '94 Proceedings of the thirteenth annual ACM symposium on Principles of distributed computing

Relative liveness and behavior abstraction (extended abstract)

PODC '97 Proceedings of the sixteenth annual ACM symposium on Principles of distributed computing

Computing property-preserving behaviour abstractions from trace reductions: abstraction-based verification of linear-time properties under fairness

Proceedings of the twentieth annual ACM symposium on Principles of distributed computing

Validating Quality Attribute Requirements

Software—Practice & Experience