Generic Trace Semantics and Graded Monads (Milius, Pattinson, Schroder, 2015)

@inproceedings{milius15:generic,
  title={Generic trace semantics and graded monads},
  author={Milius, Stefan and Pattinson, Dirk and Schr{\"o}der, Lutz},
  booktitle={6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015)},
  pages={253--269},
  year={2015},
  organization={Schloss Dagstuhl--Leibniz-Zentrum f{\"u}r Informatik}
}