Ten years of Hoare's logic: A survey— part II: Nondeterminism
- 1 January 1983
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 28 (1-2) , 83-109
- https://doi.org/10.1016/0304-3975(83)90066-x
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Fairness and related properties in transition systems ? a temporal logic to deal with fairnessActa Informatica, 1983
- Proof rules and transformations dealing with fairnessScience of Computer Programming, 1983
- A programming language for the inductive sets, and applicationsPublished by Springer Nature ,1982
- Impartiality, justice and fairness: The ethics of concurrent terminationPublished by Springer Nature ,1981
- The temporal semantics of concurrent programsTheoretical Computer Science, 1981
- Full abstraction for a simple parallel programming languagePublished by Springer Nature ,1979
- Soundness and Completeness of an Axiom System for Program VerificationSIAM Journal on Computing, 1978
- Guarded commands, nondeterminacy and formal derivation of programsCommunications of the ACM, 1975
- An axiomatic basis for computer programmingCommunications of the ACM, 1969
- Nondeterministic AlgorithmsJournal of the ACM, 1967