Another glance at the Alpern-Schneider characterization of safety and liveness in concurrent executions
- 18 October 1993
- journal article
- Published by Elsevier in Information Processing Letters
- Vol. 47 (6) , 291-294
- https://doi.org/10.1016/0020-0190(93)90074-j
Abstract
No abstract availableThis publication has 2 references indexed in Scilit:
- Defining livenessInformation Processing Letters, 1985
- Proving the Correctness of Multiprocess ProgramsIEEE Transactions on Software Engineering, 1977