Relating coalgebraic notions of bisimulation
From MaRDI portal
Publication:3003316
DOI10.2168/LMCS-7(1:13)2011zbMath1247.68192MaRDI QIDQ3003316
Publication date: 26 May 2011
Published in: Logical Methods in Computer Science (Search for Journal in Brave)
Abstract data types; algebraic specification (68Q65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Categories of machines, automata (18B20)
Related Items (24)
Coinductive predicates and final sequences in a fibration ⋮ Relation lifting, a survey ⋮ Behavioural equivalences for coalgebras with unobservable moves ⋮ A coalgebraic semantics for causality in Petri nets ⋮ Preservation and reflection of bisimilarity via invertible steps ⋮ Enhanced coalgebraic bisimulation ⋮ Structural operational semantics for non-deterministic processes with quantitative aspects ⋮ Extensional quotient coalgebras ⋮ A general account of coinduction up-to ⋮ Unnamed Item ⋮ A network-conscious \(\pi\)-calculus and its coalgebraic semantics ⋮ Revisiting causality, coalgebraically ⋮ Transitivity and Difunctionality of Bisimulations ⋮ Isomorphism theorems for coalgebras ⋮ Universal Constructions for (Co)Relations: categories, monoidal categories, and props ⋮ Unnamed Item ⋮ Bisimulation and coinduction enhancements: a historical perspective ⋮ Unnamed Item ⋮ Coinductive predicates and final sequences in a fibration ⋮ Unnamed Item ⋮ Unnamed Item ⋮ The algebra of recursive graph transformation language UnCAL: complete axiomatisation and iteration categorical semantics ⋮ Structural operational semantics for continuous state stochastic transition systems ⋮ Relational presheaves, change of base and weak simulation
This page was built for publication: Relating coalgebraic notions of bisimulation
