Bowen Alpern, Fred B. Schneider. Defining Liveness. Inf. Process. Lett., 21(4):181-185, 1985.
@article{AlpernS85,
title = {Defining Liveness},
author = {Bowen Alpern and Fred B. Schneider},
year = {1985},
researchr = {https://researchr.org/publication/AlpernS85},
cites = {0},
citedby = {0},
journal = {Inf. Process. Lett.},
volume = {21},
number = {4},
pages = {181-185},
}