Pages that link to "Item:Q4917087"
From MaRDI portal
The following pages link to Turing Machines, Transition Systems, and Interaction (Q4917087):
Displaying 10 items.
- Turing machines, transition systems, and interaction (Q703844) (← links)
- On the transition graphs of Turing machines. (Q1401268) (← links)
- The \$-calculus process algebra for problem solving: A paradigmatic shift in handling hard computational problems (Q2383594) (← links)
- A Coinductive Animation of Turing Machines (Q2797865) (← links)
- Validating for liveness in hidden adversary systems (Q2864511) (← links)
- Formalizing Turing Machines (Q2915013) (← links)
- Approaching simple and powerful service-computing<sup>1</sup> (Q3498554) (← links)
- (Q4781808) (← links)
- (Q5419738) (← links)
- On relations between properties in transitive Turing machines (Q6058472) (← links)