79 citations · 365 across the 37 of their papers we have counts for
3 papers · 1 filter
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…
Weak MSO: Automata and Expressiveness Modulo Bisimilarity
Facundo Carreiro, Alessandro Facchini, Yde Venema +1
We prove that the bisimulation-invariant fragment of weak monadic second-order logic (WMSO) is equivalent to the fragment of the modal -calculus where the application of the lea…