Demonic operators and monotype factors

DOI10.1017/S096012950000030XzbMath0797.68114OpenAlexW2157785961MaRDI QIDQ4286527

Jaap van der Woude, Roland C. Backhouse

Publication date: 19 October 1994

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

Full work available at URL: https://doi.org/10.1017/s096012950000030x

zbMATH Keywords

Galois connectiondistributivityassociativitybinary relationsdemonic choicedemonic compositionangelic composition

Mathematics Subject Classification ID

Complete distributivity (06D10) Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65) Galois correspondences, closure operators (in relation to ordered sets) (06A15)

Related Items (23)

Algebras of modal operators and partial correctness ⋮ Kernels, in a nutshell ⋮ Relation-algebraic semantics ⋮ An Algebraic Calculus of Database Preferences ⋮ Parallel constructions of maximal path sets and applications to short superstrings ⋮ A Relation-Algebraic Approach to Multirelations and Predicate Transformers ⋮ Components and acyclicity of graphs. An exercise in combining precision with concision ⋮ A calculational approach to mathematical induction ⋮ On algebra of program correctness and incorrectness ⋮ Relational semigroupoids: abstract relation-algebraic interfaces for finite relations between infinite types ⋮ Relational state transition dynamics ⋮ How to generalise demonic composition ⋮ Domain and range for angelic and demonic compositions ⋮ Embedding a demonic semilattice in a relation algebra ⋮ Algebraic separation logic ⋮ Extended Static Checking by Calculation Using the Pointfree Transform ⋮ Datatype-generic termination proofs ⋮ Structured Document Algebra in Action ⋮ An algebra of database preferences ⋮ Parallel composition and decomposition of specifications ⋮ Characterizing determinacy in Kleene algebras ⋮ Nondeterministic semantics of compound diagrams ⋮ Kleene under a modal demonic star

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Relational algebraic semantics of deterministic and nondeterministic programs
• A RELATIONAL MODEL OF DEMONIC NONDETERMINISTIC PROGRAMS
• Fast Pattern Matching in Strings
• Non-Commutative Residuated Lattices
• Galois Connexions

This page was built for publication: Demonic operators and monotype factors