A proof rule for fair termination of quarded commands
Publication date
1981
Authors
Grumberg, O.
de Roever, W-P
Editors
Advisors
Supervisors
DOI
Document Type
Report
Metadata
Show full item recordCollections
License
Abstract
Keywords
Mathematics, Informatica, Landbouwwetenschappen, Natuurwetenschappen, Ordered by external client
Citation
Grumberg, O & de Roever, W-P 1981, A proof rule for fair termination of quarded commands. vol. 81-02, RUU-CS edn, Unknown Publisher, Utrecht. < http://www.cs.uu.nl/research/techreps/RUU-CS-81-02.html >