A complete rule for equifair termination
- 1 December 1986
- journal article
- Published by Elsevier in Journal of Computer and System Sciences
- Vol. 33 (3) , 313-332
- https://doi.org/10.1016/0022-0000(86)90056-5
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- FairnessPublished by Springer Nature ,1986
- A proof rule for fair termination of guarded commandsInformation and Control, 1985
- Fair termination revisited—with delayTheoretical Computer Science, 1984
- Proof rules and transformations dealing with fairnessScience of Computer Programming, 1983
- Ten years of Hoare's logic: A survey— part II: NondeterminismTheoretical Computer Science, 1983
- Communicating sequential processesCommunications of the ACM, 1978
- Guarded commands, nondeterminacy and formal derivation of programsCommunications of the ACM, 1975
- Assigning meanings to programsPublished by American Mathematical Society (AMS) ,1967