Pages that link to "Item:Q4632421"
From MaRDI portal
The following pages link to Determinizing asynchronous automata (Q4632421):
Displaying 11 items.
- A quadratic construction for Zielonka automata with acyclic communication structure (Q407518) (← links)
- Compositional synthesis of asynchronous automata (Q551202) (← links)
- 2-asynchronous automata (Q1109571) (← links)
- Deterministic asynchronous automata for infinite traces (Q1338892) (← links)
- (Q2963915) (← links)
- (Q4079517) (← links)
- (Q4288286) (← links)
- (Q4721652) (← links)
- (Q4823418) (← links)
- Keeping track of the latest gossip in a distributed system (Q5137336) (← links)
- (Q5190785) (← links)