Local Liveness for Compositional Modeling of Fair Reactive Systems

Relative liveness and behavior abstraction (extended abstract)

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

Liveness-preserving simulation relations

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

Reactive Modules

Formal Methods in System Design - Special issue on The First Federated Logic Conference (FLOC'96), part II

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

Decomposing refinement proofs using assume-guarantee reasoning

Proceedings of the 2000 IEEE/ACM international conference on Computer-aided design

Foundations for Circular Compositional Reasoning

ICALP '01 Proceedings of the 28th International Colloquium on Automata, Languages and Programming,

Compositional Verification in Linear-Time Temporal Logic

FOSSACS '00 Proceedings of the Third International Conference on Foundations of Software Science and Computation Structures: Held as Part of the Joint European Conferences on Theory and Practice of Software,ETAPS 2000

Reactive Modules

LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science

Automating Formal Modular Verification of Asynchronous Real-Time Embedded Systems

VLSID '03 Proceedings of the 16th International Conference on VLSI Design

Model checking almost all paths can be less expensive than checking all paths

FSTTCS'07 Proceedings of the 27th international conference on Foundations of software technology and theoretical computer science

On the refinement of liveness properties of distributed systems

Formal Methods in System Design

Defining Fairness in Reactive and Concurrent Systems

Journal of the ACM (JACM)