Chairs: C. Cirstea, F. Gadducci, H. Schlingloff Past Chairmen: M. Roggenbach, L. Schröder, T. Mossakowski, J. Fiadeiro, P. Mosses, H.-J. Kreowski
Wed, 11 January 2017 at 04:00 pm in Binz (Rügen), Germany
Joint work with: Paolo Baldan, Filippo Bonchi, Henning Kerstan
Abstract: We study behavioural metrics in order to measure the behavioural distance of states. We work in an abstract coalgebraic setting, where a crucial step is the notion of functor lifting.
Slides