Our submission Behavioral Metrics via Functor Lifting has been accepted for publication at FSTTCS 2014 (New Delhi, India, December 15–17, 2014).
An extended preprint (with appendix/proofs) is now available on arXiv.org: arXiv:1410.3385.
Our submission Behavioral Metrics via Functor Lifting has been accepted for publication at FSTTCS 2014 (New Delhi, India, December 15–17, 2014).
An extended preprint (with appendix/proofs) is now available on arXiv.org: arXiv:1410.3385.