A personal perspective of Alphern-Schneider characterization of safety and liveness

Authors:
Martin Rem
Affiliations:
-
Venue:
Beauty is our business
Year:
1990

Citing 0
Cited 2

A lattice-theoretic characterization of safety and liveness

Proceedings of the twenty-second annual symposium on Principles of distributed computing
A topological characterization of weakness

Proceedings of the twenty-fourth annual ACM symposium on Principles of distributed computing

Quantified Score

Hi-index	0.00

Visualization

Abstract