scientific article; zbMATH DE number 3378527

zbMath0238.68006MaRDI QIDQ5649409

J. W. de Bakker, Willem Paul de Roever

Publication date: 1972

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Formal languages and automata (68Q45) General topics in the theory of software (68N01)

Related Items

Relational algebraic semantics of deterministic and nondeterministic programs ⋮ A relational division operator: The conjugate kernel ⋮ Fixed-point extensions of first-order logic ⋮ Parallel constructions of maximal path sets and applications to short superstrings ⋮ Natural Quantum Operational Semantics with Predicates ⋮ Application of modal logic to programming ⋮ Programs as partial graphs. I: Flow equivalence and correctness ⋮ Relation algebraic domain constructions ⋮ Embedding a demonic semilattice in a relation algebra ⋮ Dynamic algebras: Examples, constructions, applications ⋮ Un modello di \(\lambda\)-calcolo fortemente equivalente agli schemi ricorsivi ⋮ Alternating states for dual nondeterminism in imperative programming ⋮ A Bibliography of Willem-Paul de Roever ⋮ Completeness results for the equivalence of recursive schemas ⋮ Least fixed points revisited ⋮ Normal forms for binary relations ⋮ Finiteness is mu-ineffable ⋮ Generalised quantum weakest preconditions ⋮ On graph reasoning ⋮ Expressive power of typed and type-free programming languages ⋮ Program development schemata as derived rules ⋮ On infinite computations in denotational semantics ⋮ Results on the propositional \(\mu\)-calculus ⋮ Relation algebras: Concept of points and representability