The following pages link to (Q4038700):
Displaying 8 items.
- Turing machines, transition systems, and interaction (Q703844) (← links)
- Connectedness and synchronization (Q1179707) (← links)
- Communication across viewpoints (Q1384003) (← links)
- Communication via intermediaries (Q2173396) (← links)
- Event structure spans for nondeterministic dataflow (Q2866348) (← links)
- Turing Machines, Transition Systems, and Interaction (Q4917087) (← links)
- On nets, algebras and modularity (Q5096217) (← links)
- From Logic to Theoretical Computer Science – An Update (Q5452171) (← links)