Behavioral Metrics via Functor Lifting
From MaRDI portal
Publication:2978531
DOI10.4230/LIPIcs.FSTTCS.2014.403zbMath1360.68607arXiv1410.3385OpenAlexW2963741069MaRDI QIDQ2978531
Paolo Baldan, Filippo Bonchi, Barbara König, Henning Kerstan
Publication date: 25 April 2017
Full work available at URL: https://arxiv.org/abs/1410.3385
Algebraic theory of languages and automata (68Q70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Categories of machines, automata (18B20)
Related Items (10)
A note on distances between probabilistic and quantum distributions ⋮ Bisimulation as a logical relation ⋮ The ℓ p -metrization of functors with finite supports ⋮ Up-to techniques for behavioural metrics via fibrations ⋮ Up-To Techniques for Behavioural Metrics via Fibrations ⋮ (Metric) Bisimulation Games and Real-Valued Modal Logics for Coalgebras ⋮ Long-term values in Markov decision processes, (co)algebraically ⋮ Fibrational bisimulations and quantitative reasoning ⋮ Unnamed Item ⋮ Limits in categories of Vietoris coalgebras
This page was built for publication: Behavioral Metrics via Functor Lifting
