The following pages link to (Q4038701):
Displaying 9 items.
- Turing machines, transition systems, and interaction (Q703844) (← links)
- Representation of computations in concurrent automata by dependence orders (Q1269906) (← links)
- Nonexpressibility of fairness and signaling (Q1309386) (← links)
- Historical introduction to ``Concrete domains'' by G. Kahn and G. D. Plotkin (Q1314353) (← links)
- Asynchronous games. II: The true concurrency of innocence (Q2503039) (← links)
- Directed Homotopy in Non-Positively Curved Spaces (Q3300792) (← links)
- From Sequential Specifications to Eventual Consistency (Q3449480) (← links)
- Turing Machines, Transition Systems, and Interaction (Q4917087) (← links)
- Towards a complete hierarchy of compositional dataflow models (Q5096218) (← links)
