Relating coalgebraic notions of bisimulation

DOI10.2168/LMCS-7(1:13)2011zbMath1247.68192MaRDI QIDQ3003316

Sam Staton

Publication date: 26 May 2011

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

zbMATH Keywords

coalgebrabisimulationcategory theorycoinduction

Mathematics Subject Classification ID

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