Fibrational bisimulations and quantitative reasoning: Extended version

DOI10.1093/logcom/exab051OpenAlexW3199486472MaRDI QIDQ5158369

Jérémy Dubut, Shin-ya Katsumata, David Sprunger, Ichiro Hasuo

Publication date: 21 October 2021

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/exab051

zbMATH Keywords

fibrationapproximate bisimulationfunctor liftingbehavioural metric

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Related Items (4)

Kantorovich functors and characteristic logics for behavioural distances ⋮ Divergences on monads for relational program logics ⋮ Up-to techniques for behavioural metrics via fibrations ⋮ Corecursion up-to via causal transformations

This page was built for publication: Fibrational bisimulations and quantitative reasoning: Extended version