45 citations · 237 across the 53 of their papers we have counts for
4 papers · 2 filters
Simplified Coalgebraic Trace Equivalence
Alexander Kurz, Stefan Milius, Dirk Pattinson +1
The analysis of concurrent and reactive systems is based to a large degree on various notions of process equivalence, ranging, on the so-called linear-time/branching-time spectrum,…
Corecursive Algebras, Corecursive Monads and Bloom Monads
Jiří Adámek, Mahdie Haddadi, Stefan Milius
An algebra is called corecursive if from every coalgebra a unique coalgebra-to-algebra homomorphism exists into it. We prove that free corecursive algebras are obtained as coproduc…
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…
Towards a Uniform Theory of Effectful State Machines
Sergey Goncharov, Stefan Milius, Alexandra Silva
Using recent developments in coalgebraic and monad-based semantics, we present a uniform study of various notions of machines, e.g. finite state machines, multi-stack machines, Tur…