scientific article; zbMATH DE number 3378527
From MaRDI portal
Publication:5649409
zbMATH Open0238.68006MaRDI QIDQ5649409FDOQ5649409
Authors: J. W. de Bakker, Willem-Paul de Roever 
Publication date: 1972
Title of this publication is not available (Why is that?)
Cited In (24)
- Application of modal logic to programming
- Embedding a demonic semilattice in a relation algebra
- Alternating states for dual nondeterminism in imperative programming
- Natural Quantum Operational Semantics with Predicates
- Relational algebraic semantics of deterministic and nondeterministic programs
- Fixed-point extensions of first-order logic
- Relation algebras: Concept of points and representability
- Programs as partial graphs. I: Flow equivalence and correctness
- On graph reasoning
- Results on the propositional \(\mu\)-calculus
- Generalised quantum weakest preconditions
- Dynamic algebras: Examples, constructions, applications
- Relation algebraic domain constructions
- A relational division operator: The conjugate kernel
- Expressive power of typed and type-free programming languages
- Normal forms for binary relations
- A Bibliography of Willem-Paul de Roever
- Least fixed points revisited
- Parallel constructions of maximal path sets and applications to short superstrings
- On infinite computations in denotational semantics
- Completeness results for the equivalence of recursive schemas
- Un modello di \(\lambda\)-calcolo fortemente equivalente agli schemi ricorsivi
- Program development schemata as derived rules
- Finiteness is mu-ineffable
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5649409)
