A research agenda for a theory of concurrency that proves liveness properties using justness instead of fairness, because fairness assumptions can yield conclusions that do not hold in reality.
Buti , author M
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.LO 1years
2019 1verdicts
ACCEPT 1representative citing papers
citing papers explorer
-
Ensuring Liveness Properties of Distributed Systems: Open Problems
A research agenda for a theory of concurrency that proves liveness properties using justness instead of fairness, because fairness assumptions can yield conclusions that do not hold in reality.