The following pages link to (Q4721652):
Displaying 8 items.
- 2-asynchronous automata (Q1109571) (← links)
- Analyse und Synthese von asynchronen ND-Automaten (Q1241430) (← links)
- Deterministic asynchronous automata for infinite traces (Q1338892) (← links)
- (Q2963915) (← links)
- Concurrent Machines (Q3691067) (← links)
- CONCURRENT AUTOMATA AND DOMAINS (Q4032921) (← links)
- Connections between a concrete and an abstract model of concurrent systems (Q5887511) (← links)
- Asynchronous cellular automata for pomsets without auto-concurrency (Q6162109) (← links)