Sciweavers

CALCO
2009
Springer

Relating Coalgebraic Notions of Bisimulation

14 years 6 months ago
Relating Coalgebraic Notions of Bisimulation
d abstract) Sam Staton Computer Laboratory, University of Cambridge Abstract. A labelled transition system can be understood as a coalgebra for a particular endofunctor on the category of sets. Generalizing, we are led to consider coalgebras for arbitrary endofunctors on arbitrary categories. Bisimulation is a crucial notion in the theory of labelled transition systems. We identify four definitions of bisimulation on general coalgebras. The definitions all specialize to the same notion for the special case of labelled transition systems. We investigate general conditions under which the four notions coincide. As an extended example, we consider the semantics of name-passing process calculi (such as the pi-calculus), and present a new coalgebraic model for name-passing calculi.
Sam Staton
Added 26 May 2010
Updated 26 May 2010
Type Conference
Year 2009
Where CALCO
Authors Sam Staton
Comments (0)