The following pages link to (Q3804201):
Displaying 8 items.
- Square-free words on partially commutative free monoids (Q1076163) (← links)
- Event structures and trace monoids (Q1183599) (← links)
- Asynchronous automata versus asynchronous cellular automata (Q1334661) (← links)
- On the complementation of asynchronous cellular Büchi automata (Q1349891) (← links)
- Bounded time-stamping in message-passing systems (Q1853588) (← links)
- An extension of the notions of traces and of asynchronous automata (Q3988805) (← links)
- On the complementation of Büchi asynchronous cellular automata (Q4632422) (← links)
- Probabilistic asynchronous automata (Q4864443) (← links)