A lattice-theoretic characterization of safety and liveness

Panagiotis Manolios, Richard J. Trefler. A lattice-theoretic characterization of safety and liveness. In PODC. pages 325-333, 2003. [doi]

Authors

Panagiotis Manolios

This author has not been identified. Look up 'Panagiotis Manolios' in Google

Richard J. Trefler

This author has not been identified. Look up 'Richard J. Trefler' in Google