The following pages link to (Q3795195):
Displayed 11 items.
- Recognizable languages in concurrency monoids (Q672317) (← links)
- Turing machines, transition systems, and interaction (Q703844) (← links)
- Concurrent transition systems (Q1119395) (← links)
- An operator net model for distributed systems (Q1123601) (← links)
- The expressive power of indeterminate dataflow primitives (Q1201292) (← links)
- Representation of computations in concurrent automata by dependence orders (Q1269906) (← links)
- Nonexpressibility of fairness and signaling (Q1309386) (← links)
- Labelled domains and automata with concurrency (Q1346626) (← links)
- A proof of the Kahn principle for input/output automata (Q1822994) (← links)
- The expressive power of delay operators in SCCS (Q5895328) (← links)
- The expressive power of delay operators in SCCS (Q5966211) (← links)