Local Liveness for Compositional Modeling of Fair Reactive Systems.

Rajeev Alur, Thomas A. Henzinger

Browse the full CAV paper archive.