Paths and simulations

DOI10.1016/S1571-0661(04)80573-5MaRDI QIDQ2842830zbMATH OpenOpenAlexFDO

Authors Krzysztof Worytkiewicz

Publication date 16 August 2013

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s1571-0661(04)80573-5

Mathematics Subject Classification ID

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

Recommendations

• Algebra and Coalgebra in Computer Science
• Simulations as homotopies
• A categorical outlook on relational modalities and simulations
• Categorical simulations
• Bisimulation from open maps

Cites work

• A calculus of communicating systems
• Bisimulation from open maps
• Concrete process categories
• Constructing process categories
• From coherent structures to universal properties
• scientific article; zbMATH DE number 4170851 (Why is no real title available?)
• scientific article; zbMATH DE number 3904807 (Why is no real title available?)
• scientific article; zbMATH DE number 4110131 (Why is no real title available?)
• scientific article; zbMATH DE number 3680046 (Why is no real title available?)
• scientific article; zbMATH DE number 1243159 (Why is no real title available?)
• scientific article; zbMATH DE number 1759488 (Why is no real title available?)
• scientific article; zbMATH DE number 813127 (Why is no real title available?)
• scientific article; zbMATH DE number 3305157 (Why is no real title available?)
• Introduction to bicategories
• Open maps, behavioural equivalences, and congruences
• Some fundamental algebraic tools for the semantics of computation. III: Indexed categories
• Structured transition systems with parametric observations: observational congruences and minimal realizations

Cited in

(7)

• Path category for free. Open morphisms from coalgebras with non-deterministic branching
• Simulations as homotopies
• Bisimulations and unfolding in P-accessible categorical models
• scientific article; zbMATH DE number 238108 (Why is no real title available?)
• Algebra and Coalgebra in Computer Science
• A categorical outlook on relational modalities and simulations
• Categorical simulations

This page was built for publication: Paths and simulations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2842830)