Proof rules dealing with fairness
- 1 January 1982
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 2 references indexed in Scilit:
- A Cook's Tour of Countable NondeterminismDAIMI Report Series, 1981
- Characterizing correctness properties of parallel programs using fixpointsPublished by Springer Nature ,1980