Henning Kerstan

This website requires JavaScript. Please enable JavaScript for this website.

Preprint of Coalgebraic Behavioral Metrics is now available

published: Thu, 21 Dec 2017, 09:00 CET – last updated: Sat, 22 Sep 2018, 09:11 CEST

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.