TY - GEN
T1 - Revisiting safety and liveness in the context of failures
AU - Charron-Bost, Bernadette
AU - Toueg, Sam
AU - Basu, Anindya
PY - 2000/1/1
Y1 - 2000/1/1
N2 - Safety and liveness are two fundamental concepts for proving the correctness of concurrent programs. In the context of failures, however, we observe that some properties that are commonly believed to be safety properties are actually liveness properties. In this paper, we propose refinements of the concepts of safety and liveness that avoid this counterintuitive classification.
AB - Safety and liveness are two fundamental concepts for proving the correctness of concurrent programs. In the context of failures, however, we observe that some properties that are commonly believed to be safety properties are actually liveness properties. In this paper, we propose refinements of the concepts of safety and liveness that avoid this counterintuitive classification.
U2 - 10.1007/3-540-44618-4_39
DO - 10.1007/3-540-44618-4_39
M3 - Conference contribution
AN - SCOPUS:84885231205
SN - 3540678972
SN - 9783540678977
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 552
EP - 565
BT - CONCUR 2000 - Concurrency Theory
A2 - Palamidessi, Catuscia
PB - Springer Verlag
T2 - 11th International Conference on Concurrency Theory, CONCUR 2000
Y2 - 22 August 2000 through 25 August 2000
ER -