Partiality. I: Embedding relation algebras

DOI10.1016/j.jlap.2005.04.002zbMath1086.68093OpenAlexW1970694267MaRDI QIDQ817586

Gunther Schmidt

Publication date: 16 March 2006

Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlap.2005.04.002

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Cylindric and polyadic algebras; relation algebras (03G15)

Related Items (8)

Imperative abstractions for functional actions ⋮ A Relation-Algebraic Approach to Multirelations and Predicate Transformers ⋮ Partiality. II: Constructed relation algebras ⋮ Lazy Relations ⋮ Boolean Algebras and Stone Maps in Schröder Categories ⋮ Multirelations with infinite computations ⋮ Gunther Schmidt's life as a mathematician and computer scientist ⋮ An algebraic approach to multirelations and their properties

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Symmetric quotients and domain constructions
• Relation algebras: Concept of points and representability
• Programs as partial graphs. I: Flow equivalence and correctness
• Programs as partial graphs. II: Recursion
• Relational methods in computer science. 6th international conference, RelMiCS 2001 and 1st workshop of COST Action 274 TARSKI, Oisterwijk, The Netherlands, October 16--21, 2001. Revised papers
• Representation theory of Goguen categories.

This page was built for publication: Partiality. I: Embedding relation algebras