منابع مشابه
Weak Bisimulation and Open Maps
A systematic treatment of weak bisimulation and observational congruence on presheaf models is presented. The theory is developed with respect to a “hiding” functor from a category of paths to observable paths. Via a view of processes as bundles , we are able to account for weak morphisms (roughly only required to preserve observable paths) and to derive a saturation monad (on the category of p...
متن کاملBisimulation and open maps
An abstract deenition of bisimulation is presented. It enables a uniform deenition of bisimulation across a range of diierent models for parallel computation presented as categories. As examples, transition systems, synchronisation trees, transition systems with independence (an abstraction from Petri nets) and labelled event structures are considered. On transition systems the abstract deeniti...
متن کاملBisimulation from Open Maps
An abstract definition of bisimulation is presented. It enables a uniform definition of bisimulation across a range of different models for parallel computation presented as categories. As examples, transition systems, synchronisation trees, transition systems with independence (an abstraction from Petri nets) and labelled event structures are considered. On transition systems the abstract defi...
متن کاملProfunctors, open maps and bisimulation
This paper studies fundamental connections between profunctors (i.e., distributors, or bimodules), open maps and bisimulation. In particular, it proves that a colimit preserving functor between presheaf categories (corresponding to a profunctor) preserves open maps and open map bisimulation. Consequently, the composition of profunctors preserves open maps as 2-cells. A guiding idea is the view ...
متن کاملTimed Bisimulation and Open Maps
Formal models for real-time systems have been studied intensively over the past decade. Much of the theory of untimed systems have been lifted to real-time settings. One example is the notion of bisimulation applied to timed transition systems, which is studied here within the general categorical framework of open maps. We define a category of timed transition systems, and show how to character...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: BRICS Report Series
سال: 1999
ISSN: 1601-5355,0909-0878
DOI: 10.7146/brics.v6i14.20071