A proof rule for multiple coroutine systems
- 31 March 1976
- journal article
- Published by Elsevier in Information Processing Letters
- Vol. 4 (6) , 141-143
- https://doi.org/10.1016/0020-0190(76)90082-x
Abstract
No abstract availableKeywords
This publication has 2 references indexed in Scilit:
- An axiomatic definition of the programming language PASCALActa Informatica, 1973
- Program proving: CoroutinesActa Informatica, 1973