Embedding mappings and splittings with applications

DOI10.1007/s00236-009-0109-4zbMath1209.68332MaRDI QIDQ968275

Michael Winter, Rudolf Berghammer

Publication date: 5 May 2010

Published in: Acta Informatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00236-009-0109-4

Mathematics Subject Classification ID

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

Related Items

Contact, closure, topology, and the linking of row and column types of relations, Relation Algebras, Matrices, and Multi-valued Decision Diagrams

Uses Software

• RelView

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Interval graphs and interval orders
• A calculus of communicating systems
• Relation algebraic domain constructions
• Tackling the jump number of interval orders
• Some sufficient conditions for the representability of relation algebras
• A calculational approach to mathematical induction
• Theory and applications of relational structures as knowledge instruments. COST Action 274, TARSKI. Revised papers
• On the construction of weak orders from fragmentary information
• Monomorphic characterization of \(n\)-ary direct products
• Rectangles, Fringes, and Inverses
• An Ordered Category of Processes
• Relational Methods in Computer Science
• Computer Algebra in Scientific Computing
• Relational and Kleene-Algebraic Methods in Computer Science
• On the calculus of relations