How to Kill Epsilons with a Dagger: A Coalgebraic Take on Systems with Algebraic Label Structure (bibtex)

by Filippo Bonchi, Stefan Milius, Alexandra Silva and Fabio Zanasi

Reference:

Filippo Bonchi, Stefan Milius, Alexandra Silva and Fabio Zanasi: How to Kill Epsilons with a Dagger: A Coalgebraic Take on Systems with Algebraic Label Structure, In Marcello M. Bonsangue, ed.: Proc. Coalgebraic Methods in Computer Science (CMCS'14), Lecture Notes Comput. Sci., vol. 8446, pp. 53–74, Springer, 2014. The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-662-44124-4_4.

Bibtex Entry:

@string{springer="Springer"}
@InProceedings{bmsz14,
  author = 	 {Filippo Bonchi and Stefan Milius and Alexandra Silva and Fabio Zanasi},
  title = 	 {How to Kill Epsilons with a Dagger: A Coalgebraic Take on Systems with Algebraic Label Structure},
  OPTcrossref =  {},
  OPTkey = 	 {},
  booktitle =    {Proc. Coalgebraic Methods in Computer Science (CMCS'14)},
  pages = 	 {53--74},
  year = 	 {2014},
  editor = 	 {Marcello M.~Bonsangue},
  volume = 	 {8446},
  OPTnumber = 	 {},
  series = 	 {Lecture Notes Comput.~Sci.},
  doi       =    {10.1007/978-3-662-44124-4_4},
  OPTaddress = 	 {},
  OPTmonth = 	 {},
  OPTorganization = {},
  publisher = {Springer},
  comment = {The final publication is available at Springer via <a href="http://dx.doi.org/10.1007/978-3-662-44124-4_4">http://dx.doi.org/10.1007/978-3-662-44124-4_4</a>.},
  OPTnote = 	 {},
  OPTannote = 	 {}
}