Am 14. September wurde unser Artikel Coalgebraic Behavioral Metrics (gemeinsame Arbeit with Paolo Baldan, Filippo Bonchi and Barbara König) im Open Access Journal Logical Methods in Computer Science (LMCS) veröffentlicht. Wenn Sie irgendwelche Fragen oder Anmerkungen haben, können Sie mich gerne kontaktieren. Sie können den Artikel direkt von der LMCS-Webseite oder von arXiv herunterladen.