The algebra of multirelations

DOI10.1017/S0960129512000965zbMath1352.18001MaRDI QIDQ4925034

S. A. Curtis, Clare E. Martin

Publication date: 11 June 2013

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Equational categories (18C05) Categorical structures (18D99) Categories of spans/cospans, relations, or partial maps (18B10)

Related Items (4)

Kleisli, Parikh and Peleg compositions and liftings for multirelations ⋮ A Relation-Algebraic Approach to Multirelations and Predicate Transformers ⋮ Synthesis of Strategies Using the Hoare Logic of Angelic and Demonic Nondeterminism ⋮ An algebraic approach to multirelations and their properties

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A theoretical basis for stepwise refinement and the programming calculus
• Modelling angelic and demonic nondeterminism with multirelations
• Modelling higher-order dual nondeterminacy
• Domain theory in logical form
• Combining angels, demons and miracles in program specifications
• An algebraic construction of predicate transformers
• Towards a calculus of predicate transformers
• Monadic Maps and Folds for Multirelations in an Allegory
• Nondeterministic Folds
• Guarded commands, nondeterminacy and formal derivation of programs
• A categorical model for higher order imperative programming
• Refinement Calculus
• An axiomatic basis for computer programming
• On the calculus of relations

This page was built for publication: The algebra of multirelations