Pages that link to "Item:Q4632422"
From MaRDI portal
The following pages link to On the complementation of Büchi asynchronous cellular automata (Q4632422):
Displayed 5 items.
- Compositional synthesis of asynchronous automata (Q551202) (← links)
- On the complementation of asynchronous cellular Büchi automata (Q1349891) (← links)
- Determinizing asynchronous automata (Q4632421) (← links)
- Keeping track of the latest gossip in a distributed system (Q5137336) (← links)
- Asynchronous cellular automata for pomsets without auto-concurrency (Q6162109) (← links)