A coalgebraic take on regular and $ω$-regular behaviours. | 0 | 0.34 | 2019 |
Two modes of recognition: algebra, coalgebra, and languages. | 0 | 0.34 | 2019 |
Behavioural equivalences for timed systems. | 0 | 0.34 | 2019 |
A Coalgebraic Take on Regular and omega-Regular Behaviour for Systems with Internal Moves. | 2 | 0.38 | 2018 |
A Uniform Framework for Timed Automata. | 3 | 0.41 | 2016 |
On Coalgebras with Internal Moves. | 5 | 0.43 | 2014 |
Behavioural equivalences for coalgebras with unobservable moves. | 6 | 0.47 | 2014 |
Lax Kleisli-valued presheaves and coalgebraic weak bisimulation. | 0 | 0.34 | 2014 |
An algebraic approach to weak and delay bismulation in coalgebra | 1 | 0.35 | 2013 |
Weak bisimulation for coalgebras over order enriched monads. | 2 | 0.37 | 2013 |
Weak bisimulations for coalgebras over ordered functors | 3 | 0.39 | 2012 |