111 citations · 374 across the 31 of their papers we have counts for
4 papers · 1 filter
Coalgebraic Behavioral Metrics
Paolo Baldan, Filippo Bonchi, Henning Kerstan +1
We study different behavioral metrics, such as those arising from both branching and linear-time semantics, in a coalgebraic setting. Given a coalgebra for a fun…
Functorial Semantics for Relational Theories
Filippo Bonchi, Dusko Pavlovic, Pawel Sobocinski
We introduce the concept of Frobenius theory as a generalisation of Lawvere's functorial semantics approach to categorical universal algebra. Whereas the universe for models of Law…
Distribution Bisimilarity via the Power of Convex Algebras
Filippo Bonchi, Alexandra Silva, Ana Sokolova
Probabilistic automata (PA), also known as probabilistic nondeterministic labelled transition systems, combine probability and nondeterminism. They can be given different semantics…
Up-To Techniques for Weighted Systems (Extended Version)
Filippo Bonchi, Barbara König, Sebastian Küpper
We show how up-to techniques for (bi-)similarity can be used in the setting of weighted systems. The problems we consider are language equivalence, language inclusion and the thres…