A lattice-theoretic characterization of safety and liveness.

Panagiotis Manolios, Richard J. Trefler

Browse the full PODC paper archive.