Safety and liveness from a methodological point of view
- 1 October 1990
- journal article
- Published by Elsevier in Information Processing Letters
- Vol. 36 (1) , 25-30
- https://doi.org/10.1016/0020-0190(90)90181-v
Abstract
No abstract availableKeywords
This publication has 2 references indexed in Scilit:
- A simple approach to specifying concurrent systemsCommunications of the ACM, 1989
- Defining livenessInformation Processing Letters, 1985