Relation-algebraic semantics
From MaRDI portal
Recommendations
Cites work
- A lattice-theoretical fixpoint theorem and its applications
- A RELATIONAL MODEL OF DEMONIC NONDETERMINISTIC PROGRAMS
- Boolean Algebras with Operators
- Boolean Algebras with Operators. Part I
- Demonic operators and monotype factors
- Guarded commands, nondeterminacy and formal derivation of programs
- scientific article; zbMATH DE number 3974258 (Why is no real title available?)
- scientific article; zbMATH DE number 4020448 (Why is no real title available?)
- scientific article; zbMATH DE number 3707731 (Why is no real title available?)
- scientific article; zbMATH DE number 67032 (Why is no real title available?)
- scientific article; zbMATH DE number 67035 (Why is no real title available?)
- scientific article; zbMATH DE number 193143 (Why is no real title available?)
- scientific article; zbMATH DE number 3537204 (Why is no real title available?)
- scientific article; zbMATH DE number 3551848 (Why is no real title available?)
- scientific article; zbMATH DE number 3574936 (Why is no real title available?)
- scientific article; zbMATH DE number 3602653 (Why is no real title available?)
- scientific article; zbMATH DE number 3630737 (Why is no real title available?)
- scientific article; zbMATH DE number 1142325 (Why is no real title available?)
- scientific article; zbMATH DE number 194642 (Why is no real title available?)
- scientific article; zbMATH DE number 3269000 (Why is no real title available?)
- scientific article; zbMATH DE number 3300552 (Why is no real title available?)
- scientific article; zbMATH DE number 3339390 (Why is no real title available?)
- scientific article; zbMATH DE number 3349291 (Why is no real title available?)
- scientific article; zbMATH DE number 3383513 (Why is no real title available?)
- scientific article; zbMATH DE number 3413799 (Why is no real title available?)
- scientific article; zbMATH DE number 3062907 (Why is no real title available?)
- scientific article; zbMATH DE number 3070503 (Why is no real title available?)
- Laws of programming
- Programs as partial graphs. I: Flow equivalence and correctness
- Programs as partial graphs. II: Recursion
- Relational algebraic semantics of deterministic and nondeterministic programs
- The origin of relation algebras in the development and axiomatization of the calculus of relations
- Varieties of relation algebras
Cited in
(22)- An algebraic framework for minimum spanning tree problems
- Verifying minimum spanning tree algorithms with Stone relation algebras
- Monoids with tests and the algebra of possibly non-halting programs
- Infinite executions of lazy and strict computations
- Normal forms for binary relations
- Nondeterministic semantics of compound diagrams
- Relational semantics revisited
- Unifying lazy and strict computations
- Algebra of monotonic Boolean transformers
- Relation-algebraic verification of Prim's minimum spanning tree algorithm
- A Relation Algebraic Semantics for a Lazy Functional Logic Language
- On Automating the Calculus of Relations
- Positive Fork Graph Calculus
- scientific article; zbMATH DE number 4098735 (Why is no real title available?)
- scientific article; zbMATH DE number 67020 (Why is no real title available?)
- Hyperidentities and related concepts. II
- Stone relation algebras
- Completeness of ASM refinement
- Completeness of fair ASM refinement
- Fixpoints for general correctness
- Relativized relation algebras
- Relation-algebraic verification of disjoint-set forests
This page was built for publication: Relation-algebraic semantics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1350513)
