Killing epsilons with a dagger: A coalgebraic study of systems with algebraic label structure

Filippo Bonchi, Stefan Milius, Alexandra Silva 0001, Fabio Zanasi. Killing epsilons with a dagger: A coalgebraic study of systems with algebraic label structure. Theoretical Computer Science, 604:102-126, 2015. [doi]

Abstract

Abstract is missing.