Preserving liveness: Comments on “safety and liveness from a methodological point of view”
- 8 November 1991
- journal article
- Published by Elsevier BV in Information Processing Letters
- Vol. 40 (3), 141-142
- https://doi.org/10.1016/0020-0190(91)90168-h
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- The existence of refinement mappingsTheoretical Computer Science, 1991
- Safety and liveness from a methodological point of viewInformation Processing Letters, 1990
- A simple approach to specifying concurrent systemsCommunications of the ACM, 1989
- Appraising fairness in languages for distributed programmingDistributed Computing, 1988
- Defining livenessInformation Processing Letters, 1985