scientific article; zbMATH DE number 6943961

DOI10.23638/LMCS-14(3:20)2018MaRDI QIDQ4683862

Filippo Bonchi, Barbara König, Paolo Baldan, Henning Kerstan

Publication date: 26 September 2018

Full work available at URL: https://arxiv.org/abs/1712.07511

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

coalgebrapseudometrictrace metricfunctor liftingbehavioral metricbisimilarity metricmonad lifting

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Related Items (16)

The ℓ ^p -metrization of functors with finite supports ⋮ Kantorovich functors and characteristic logics for behavioural distances ⋮ Fixpoint Theory -- Upside Down ⋮ Divergences on monads for relational program logics ⋮ Up-to techniques for behavioural metrics via fibrations ⋮ Unnamed Item ⋮ Fixpoint theory -- upside down ⋮ A quantified coalgebraic van Benthem theorem ⋮ (Metric) Bisimulation Games and Real-Valued Modal Logics for Coalgebras ⋮ Unnamed Item ⋮ Hausdorff coalgebras ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Monads and Quantitative Equational Theories for Nondeterminism and Probability ⋮ Extending set functors to generalised metric spaces ⋮ Corecursion up-to via causal transformations

This page was built for publication: