A lattice-theoretic characterization of safety and liveness
From MaRDI portal
Publication:2943770
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
Formal languages and automata (68Q45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (1)
Cites Work
This page was built for publication: A lattice-theoretic characterization of safety and liveness