Killing Epsilons with a Dagger: A Coalgebraic Study of 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: Killing Epsilons with a Dagger: A Coalgebraic Study of Systems with Algebraic Label Structure, In Theoret. Comput. Sci., 604, pp. 102–126, 2015. http://dx.doi.org/10.1016/j.tcs.2015.03.024

Bibtex Entry:

@Article{bmsz15,
  author = 	 {Filippo Bonchi and Stefan Milius and Alexandra Silva and Fabio Zanasi},
  title = 	 {Killing Epsilons with a Dagger: A Coalgebraic Study of Systems with Algebraic Label Structure },
  journal = 	 {Theoret.~Comput.~Sci.},
  year = 	 {2015},
  OPTkey = 	 {},
  volume = 	 {604},
  OPTnumber = 	 {},
  pages = 	 {102--126},
  OPTmonth = 	 {},
  note = 	 {\url{http://dx.doi.org/10.1016/j.tcs.2015.03.024}},
  OPTannote = 	 {}
}