@article{947e2371abc94097871210162dbb5f6f,
title = "Preserving liveness: Comments on {"}safety and liveness from a methodological point of view{"}",
keywords = "Distributed systems, liveness property, safety, specification methodology",
author = "Mart{\'i}n Abadi and Bowen Alpern and Apt, {Krzysztof R.} and Nissim Francez and Shmuel Katz and Leslie Lamport and Schneider, {Fred B.}",
note = "Funding Information: * Supported by Office of Naval Research Contract N00014-86-K-0092, National Science Foundation No. CCR-8701103, and DARPA/NSF Grant No. CCR-9014363.",
year = "1991",
month = nov,
day = "8",
doi = "10.1016/0020-0190(91)90168-H",
language = "אנגלית",
volume = "40",
pages = "141--142",
number = "3",
}