scientific article; zbMATH DE number 3378527
From MaRDI portal
Publication:5649409
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
- Least fixed points revisited
- A Bibliography of Willem-Paul de Roever
- 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 -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)
