Kantorovich functors and characteristic logics for behavioural distances

Behavioural distances measure the deviation between states in quantitative systems, such as probabilistic or weighted systems. There is growing interest in generic approaches to behavioural distances. In particular, coalgebraic methods capture variations in the system type (nondeterministic, probabi...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Goncharov, Sergey, Hofmann, Dirk, Nora, Pedro, Schröder, Lutz, Wild, Paul
Format:	Buchkapitel
Sprache:	eng
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!