|
|
VOLUME 7, ISSUE 1, PAPER 13
|
Relating coalgebraic notions of bisimulation
|
©Sam Staton, Laboratoire PPS, Université Paris 7
|
Abstract
The theory of coalgebras, for an endofunctor on a category, has been proposed
as a general theory of transition systems. We investigate and relate four
generalizations of bisimulation to this setting, providing conditions under
which the four different generalizations coincide. We study transfinite
sequences whose limits are the greatest bisimulations.
|
Publication date: March 30, 2011
Supplementary Files:
Full Text: PDF | PostScript
DOI: 10.2168/LMCS-7(1:13)2011
Hit Counts: 2838 |
 Creative Commons | |
