Generic Trace Semantics and Graded Monads (bibtex)

by Stefan Milius, Dirk Pattinson and Lutz Schröder

Reference:

Stefan Milius, Dirk Pattinson and Lutz Schröder: Generic Trace Semantics and Graded Monads, In Lawrence S. Moss, Pawel Sobocinski, eds.: Proc. 6th Conference on Algebra and Coalgebra in Computer Science, CALCO 2015, Leibniz International Proceedings in Informatics, vol. 35, pp. 253–269, 2015.

Bibtex Entry:

@inproceedings{MiliusEA15,
  title = {Generic Trace Semantics and Graded Monads},
  author = {Stefan Milius and Dirk Pattinson and Lutz Schr\"oder},
  booktitle = {Proc. 6th Conference on Algebra and Coalgebra in Computer Science, CALCO 2015},
  series = {Leibniz International Proceedings in Informatics},
  editor = 	 {Lawrence S. Moss and Pawel Sobocinski},
  volume = {35},
  pages = {253--269},
  year = {2015},
  url = {http://www8.cs.fau.de/ext/papers/traces-gm.pdf},  
}