Pages that link to "Item:Q1816917"
From MaRDI portal
The following pages link to Action transducers and timed automata (Q1816917):
Displaying 6 items.
- A process algebra of communicating shared resources with dense time and priorities (Q1389685) (← links)
- Hybrid I/O automata. (Q1427865) (← links)
- Revisiting the PAXOS algorithm (Q1575634) (← links)
- Refinement of time (Q1589580) (← links)
- (Q3385651) (← links)
- A menagerie of timed automata (Q5176174) (← links)
