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

Preprint of Coalgebraic Behavioral Metrics is now available

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.