45 citations · 237 across the 53 of their papers we have counts for
Showing 2011Show all
2 papers · 1 filter
cs.LO2011★ 38 cited
Sound and complete axiomatizations of coalgebraic language equivalence
Marcello M. Bonsangue, Stefan Milius, Alexandra Silva
Coalgebras provide a uniform framework to study dynamical systems, including several types of automata. In this paper, we make use of the coalgebraic view on systems to investigate…
cs.LO2011★ 13 cited
Semantics of Higher-Order Recursion Schemes
Jiri Adamek, Stefan Milius, Jiri Velebil
Higher-order recursion schemes are recursive equations defining new operations from given ones called "terminals". Every such recursion scheme is proved to have a least interpreted…