Ten years of Hoare's logic: A survey. II: Nondeterminism
type: Item
instance of: scholarly article
title: Ten years of Hoare's logic: A survey. II: Nondeterminism
zbMATH Open document ID: 0523.68015
DOI: 10.1016/0304-3975(83)90066-X
author: Krzysztof R. Apt
published in: Theoretical Computer Science
publication date: 1984-01-01T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68N01
zbMATH DE Number: 3829231
zbMATH Keywords: partial correctness
zbMATH Keywords: total correctness
zbMATH Keywords: soundness
zbMATH Keywords: completeness
zbMATH Keywords: bounded nondeterminism
zbMATH Keywords: countable nondeterminism
zbMATH Keywords: freedom of failure
zbMATH Keywords: fairness
MaRDI profile type: Publication
cites work: Ten Years of Hoare's Logic: A Survey—Part I
cites work: Proof rules and transformations dealing with fairness
cites work: Countable nondeterminism and random assignment
cites work: Q3316557
cites work: Q3899466
cites work: Soundness and Completeness of an Axiom System for Program Verification
cites work: Guarded commands, nondeterminacy and formal derivation of programs
cites work: Programming as a Discipline of Mathematical Nature
cites work: Nondeterministic Algorithms
cites work: First-order dynamic logic
cites work: Q3968452
cites work: Q3907039
cites work: An axiomatic basis for computer programming
cites work: Consistent and complementary formal theories of the semantics of programming languages
cites work: Q3922147
cites work: The temporal semantics of concurrent programs
cites work: Fairness and related properties in transition systems - a temporal logic to deal with fairness
cites work: Q5573961
full work available at URL: 0304-3975(83)90066-x
OpenAlex ID: W2063825888
description: scientific article; zbMATH DE number 3829231