A lattice-theoretic characterization of safety and liveness

DOI10.1145/872035.872083zbMath1321.68360OpenAlexW1970577612MaRDI QIDQ2943770

Richard Trefler, Panagiotis Manolios

Publication date: 4 September 2015

Published in: Proceedings of the twenty-second annual symposium on Principles of distributed computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/872035.872083

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

Safety and Liveness, Weakness and Strength, and the Underlying Topological Relations

Cites Work

• Unnamed Item

This page was built for publication: A lattice-theoretic characterization of safety and liveness