We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.LO

Change to browse by:

cs

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Logic in Computer Science

Title: Coalgebraic Weak Bisimulation from Recursive Equations over Monads

Abstract: Strong bisimulation for labelled transition systems is one of the most fundamental equivalences in process algebra, and has been generalised to numerous classes of systems that exhibit richer transition behaviour. Nearly all of the ensuing notions are instances of the more general notion of coalgebraic bisimulation. Weak bisimulation, however, has so far been much less amenable to a coalgebraic treatment. Here we attempt to close this gap by giving a coalgebraic treatment of (parametrized) weak equivalences, including weak bisimulation. Our analysis requires that the functor defining the transition type of the system is based on a suitable order-enriched monad, which allows us to capture weak equivalences by least fixpoints of recursive equations. Our notion is in agreement with existing notions of weak bisimulations for labelled transition systems, probabilistic and weighted systems, and simple Segala systems.
Comments: final version
Subjects: Logic in Computer Science (cs.LO)
Cite as: arXiv:1404.1215 [cs.LO]
  (or arXiv:1404.1215v2 [cs.LO] for this version)

Submission history

From: Sergey Goncharov [view email]
[v1] Fri, 4 Apr 2014 11:14:55 GMT (41kb)
[v2] Fri, 2 May 2014 13:09:38 GMT (41kb)

Link back to: arXiv, form interface, contact.