Up-To Techniques for Weighted Systems (Extended Version)

Reference

Filippo Bonchi, Barbara König, and Sebastian Küpper. Up-to techniques for weighted systems (extended version), 2017. arXiv:1701.05001.

Suggested BibTeX entry:

@misc{BKK17a,
    author = {Filippo Bonchi and Barbara K\"onig and Sebastian K\"upper},
    note = {arXiv:1701.05001},
    title = {Up-To Techniques for Weighted Systems (Extended Version)},
    year = {2017}
}

See arxiv.org ...Conference version