111 citations · 374 across the 31 of their papers we have counts for
4 papers · 1 filter
Behavioral Metrics via Functor Lifting
Paolo Baldan, Filippo Bonchi, Henning Kerstan +1
We study behavioral metrics in an abstract coalgebraic setting. Given a coalgebra alpha: X -> FX in Set, where the functor F specifies the branching type, we define a framework for…
Interacting Hopf Algebras
Filippo Bonchi, Pawel Sobocinski, Fabio Zanasi
We introduce the theory IH of interacting Hopf algebras, parametrised over a principal ideal domain R. The axioms of IH are derived using Lack's approach to composing PROPs: they f…
How to Kill Epsilons with a Dagger -- A Coalgebraic Take on Systems with Algebraic Label Structure
Filippo Bonchi, Stefan Milius, Alexandra Silva +1
We propose an abstract framework for modeling state-based systems with internal behavior as e.g. given by silent or -transitions. Our approach employs monads with a parametrized…
Coinduction up to in a fibrational setting
Filippo Bonchi, Daniela Petrisan, Damien Pous +1
Bisimulation up-to enhances the coinductive proof method for bisimilarity, providing efficient proof techniques for checking properties of different kinds of systems. We prove the…