Coalgebraic Weak Bisimulation from Recursive Equations over Monads (bibtex)

Reference:

Sergey Goncharov and Dirk Pattinson: Coalgebraic Weak Bisimulation from Recursive Equations over Monads, In Javier Esparza, Pierre Fraigniaud, Thore Husfeldt, Elias Koutsoupias, eds.: Automata, Languages, and Programming - 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part II, Lecture Notes in Computer Science, vol. 8573, pp. 196–207, 2014. The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-662-43951-7_17.

Bibtex Entry:

@inproceedings{GoncharovPattinson14,
  author    = {Sergey Goncharov and
               Dirk Pattinson},
  editor    = {Javier Esparza and
               Pierre Fraigniaud and
               Thore Husfeldt and
               Elias Koutsoupias},
  title     = {Coalgebraic Weak Bisimulation from Recursive Equations over Monads},
  booktitle = {Automata, Languages, and Programming - 41st International Colloquium,
               {ICALP} 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part
               {II}},
  pages     = {196--207},
  year      = {2014},
  series    = {Lecture Notes in Computer Science},
  volume    = {8573},
  doi       = {10.1007/978-3-662-43951-7_17},
  comment = {The final publication is available at Springer via <a href="http://dx.doi.org/10.1007/978-3-662-43951-7_17">http://dx.doi.org/10.1007/978-3-662-43951-7_17</a>.},
}