Henning Kerstan

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

Article Coalgebraic Behavioral Metrics is now published

published: Sat, 22 Sep 2018, 08:58 CEST – last updated: Sat, 22 Sep 2018, 09:11 CEST

On September 14 our article Coalgebraic Behavioral Metrics (joint work with Paolo Baldan, Filippo Bonchi and Barbara König) was finally published in the open access journal Logical Methods in Computer Science (LMCS). If you have any questions or comments, feel free to contact me. You can download the article either on the LMCS-Website or on arXiv