Communication and concurrency
Objects and classes, co-algebraically
Object orientation with parallelism and persistence
Open maps as a bridge between algebraic observational equivalence and bisimilarity
WADT '97 Selected papers from the 12th International Workshop on Recent Trends in Algebraic Development Techniques
Presheaf Models for Concurrency
CSL '96 Selected Papers from the10th International Workshop on Computer Science Logic
Automata and behaviours in categories of processes
Automata and behaviours in categories of processes
Universal coalgebra: a theory of systems
Universal coalgebra: a theory of systems
Tree-functors, determinacy and bisimulations
Mathematical Structures in Computer Science
Unifying Equivalences for Higher Dimensional Automata
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
| Hi-index | 5.23 |
We relate two abstract notions of bisimulation, induced by open maps and by coalgebra morphisms, respectively. We show that open maps correspond to coalgebra morphisms for a suitable chosen endofunctor in a category of many sorted sets. This demonstrates that the notion of open-maps bisimilarity is of essentially coalgebraic nature. A central role in our development is played by a category of presheaves, which we show as corresponding to the subcategory of consistent coalgebras with lax cohomomorphisms.