Towards Trace Metrics via Functor Lifting


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

Suggested BibTeX entry:

    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 ...Conference version
© University of Duisburg-Essen, Theoretical Computer Science group