Henning Kerstan

Preprint of Coalgebraic Behavioral Metrics is now available

published: Thu, 21 Dec 2017, 09:00 CET – last updated: Sat, 30 Dec 2017, 22:22 CET

As of today the preprint of our article Coalgebraic Behavioral Metrics (joint work with Paolo Baldan, Filippo Bonchi and Barbara K├Ânig) is available on arXiv. It will be published soon in the open access journal Logical Methods in Computer Science (LMCS). If you have any questions or comments, feel free to contact me.