Defining liveness
- 1 October 1985
- journal article
- Published by Elsevier in Information Processing Letters
- Vol. 21 (4), 181-185
- https://doi.org/10.1016/0020-0190(85)90056-0
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- The ``Hoare Logic'' of CSP, and All ThatACM Transactions on Programming Languages and Systems, 1984
- Proving Liveness Properties of Concurrent ProgramsACM Transactions on Programming Languages and Systems, 1982
- Proving the Correctness of Multiprocess ProgramsIEEE Transactions on Software Engineering, 1977