Some Variants of the Weakest Precondition in Nondeterminism

DOI10.1080/02522667.1986.10698832zbMath0593.68025OpenAlexW1988458526MaRDI QIDQ3723689

M. C. Er

Publication date: 1986

Published in: Journal of Information and Optimization Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/02522667.1986.10698832

zbMATH Keywords

dualitysemanticsnondeterminismweakest precondition

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) General topics in the theory of software (68N01)

Related Items (1)

The Weakest Libera! Preconditions of Nondeterministic Machines and Robust Programs

Cites Work

• Guarded commands, nondeterminacy and formal derivation of programs
• Unnamed Item
• Unnamed Item

This page was built for publication: Some Variants of the Weakest Precondition in Nondeterminism