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

Article Coalgebraic Behavioral Metrics is now published


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