Panagiotis Manolios, Richard J. Trefler. A lattice-theoretic characterization of safety and liveness. In PODC. pages 325-333, 2003. [doi]
@inproceedings{ManoliosT03, title = {A lattice-theoretic characterization of safety and liveness}, author = {Panagiotis Manolios and Richard J. Trefler}, year = {2003}, doi = {10.1145/872035.872083}, url = {http://doi.acm.org/10.1145/872035.872083}, researchr = {https://researchr.org/publication/ManoliosT03}, cites = {0}, citedby = {0}, pages = {325-333}, booktitle = {PODC}, }