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

Tool-Based Relational Investigation of Closure-Interior Relatives for Finite Topological Spaces, Cardinality of relations and relational approximation algorithms, Solving computational tasks on finite topologies by means of relation algebra and the \textsc{RelView} tool, Contact, closure, topology, and the linking of row and column types of relations, Using relation-algebraic means and tool support for investigating and computing bipartitions, Relation Algebras, Matrices, and Multi-valued Decision Diagrams

Uses Software

• RelView

Cites Work

• 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
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item