The following pages link to Stream Automata Are Coalgebras (Q2914678):
Displaying 7 items.
- Languages and models for hybrid automata: a coalgebraic perspective (Q1786567) (← links)
- Categorical Büchi and parity conditions via alternating fixed points of functors (Q1798796) (← links)
- Behavioural differential equations: a coinductive calculus of streams, automata, and power series (Q1884876) (← links)
- A Class of Automata for the Verification of Infinite, Resource-Allocating Behaviours (Q2811927) (← links)
- A coalgebraic take on regular and \(\omega\)-regular behaviour for systems with internal moves (Q5009440) (← links)
- (Q5028446) (← links)
- (Q5875345) (← links)