IFIP Logo
Sign in for Members and Observers

IFIP WG1.3 Foundations of System Specification


Talk "Behavioural Metrics - A Coalgebraic Approach"

by Barbara König

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