Pages that link to "Item:Q4917087"
From MaRDI portal
The following pages link to Turing Machines, Transition Systems, and Interaction (Q4917087):
Displaying 4 items.
- Turing machines, transition systems, and interaction (Q703844) (← links)
- The \$-calculus process algebra for problem solving: A paradigmatic shift in handling hard computational problems (Q2383594) (← links)
- Validating for Liveness in Hidden Adversary Systems (Q2864511) (← links)
- Approaching simple and powerful service-computing<sup>1</sup> (Q3498554) (← links)
