Simulations and Bisimulations For Coalgebraic Modal Logics (bibtex)

by Daniel Gorín and Lutz Schröder

Reference:

Daniel Gorín and Lutz Schröder: Simulations and Bisimulations For Coalgebraic Modal Logics, In Reiko Heckel, Stefan Milius, eds.: Proc. 5th Conference on Algebra and Coalgebra in Computer Science, CALCO 2013, Lect. Notes Comput. Sci., Springer, 2013. To appear

Bibtex Entry:

@InProceedings{GorinSchroder13,
 author = {Daniel Gor{\'i}n and Lutz Schr{\"o}der},
  title = {Simulations and Bisimulations For Coalgebraic Modal Logics},
  booktitle = {Proc. 5th Conference on Algebra and Coalgebra in Computer Science, CALCO 2013},
  editor = {Reiko Heckel and Stefan Milius},
  series = {Lect. Notes Comput. Sci.},
  publisher = {Springer},
  note = {To appear},
  year = {2013},
}