111 citations · 528 across the 50 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
cs.LO2014★ 10 cited
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…
cs.LO2014★ 3 cited
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…