Towards Trace Metrics via Functor Lifting

Reference

Paolo Baldan, Filippo Bonchi, Henning Kerstan, and Barbara König. Towards trace metrics via functor lifting, 2015. arXiv:1505.08105.

Suggested BibTeX entry:

@misc{BBKK15b,
    author = {Paolo Baldan and Filippo Bonchi and Henning Kerstan and Barbara K{\"o}nig},
    note = {arXiv:1505.08105},
    title = {Towards Trace Metrics via Functor Lifting},
    year = {2015}
}



See arxiv.org ...Conference version
© University of Duisburg-Essen, Theoretical Computer Science group