Relating coalgebraic notions of bisimulation

Details Relating coalgebraic notions of bisimulation Relating coalgebraic notions of bisimulation

2011-01-21

arxiv.org/abs/1101.4223v4

LMCS 7 (1:13) 2011

Computer Science

Logic in Computer Science

Scientific paper

10.2168/LMCS-7(1:13)2011

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.

Affiliated with

Also associated with

No associations

Rating

Relating coalgebraic notions of bisimulation does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Relating coalgebraic notions of bisimulation, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Relating coalgebraic notions of bisimulation will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-642235