The following pages link to Hybrid Automata as Coalgebras (Q3179412):
Displaying 7 items.
- Languages and models for hybrid automata: a coalgebraic perspective (Q1786567) (← links)
- Structured coalgebras and minimal HD-automata for the \(\pi\)-calculus (Q2566037) (← links)
- Coalgebraic Semantics of Heavy-Weighted Automata (Q2787337) (← links)
- Stream Automata Are Coalgebras (Q2914678) (← links)
- Limits in categories of Vietoris coalgebras (Q3119464) (← links)
- Hybrid Automata as Coalgebras (Q3179412) (← links)
- Integrated Formal Methods (Q5901615) (← links)