Partiality. I: Embedding relation algebras
From MaRDI portal
Publication:817586
DOI10.1016/j.jlap.2005.04.002zbMath1086.68093OpenAlexW1970694267MaRDI QIDQ817586
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
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