Partiality. I: Embedding relation algebras

DOI10.1016/j.jlap.2005.04.002zbMath1086.68093MaRDI 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

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

03G15: Cylindric and polyadic algebras; relation algebras

Related Items

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

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.