scientific article; zbMATH DE number 3532506
From MaRDI portal
zbMath0341.68014MaRDI QIDQ4109269
No author found.
Publication date: 1976
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
General topics in the theory of software (68N01) Cylindric and polyadic algebras; relation algebras (03G15)
Related Items
The weakest precondition calculus: Recursion and duality, Predicate transformers as power operations, Safety and progress of recursive procedures, Interpretations of recursion under unbounded nondeterminacy, Semantics of nondeterminism, concurrency, and communication, On the total correctness of nondeterministic programs, A unified approach for studying the properties of transition systems, Alternating states for dual nondeterminism in imperative programming, General correctness: A unification of partial and total correctness, A Bibliography of Willem-Paul de Roever
