The following pages link to (Q5480652):
Displaying 7 items.
- Machine structure oriented control code logic (Q731332) (← links)
- Program algebra with a jump-shift instruction (Q959050) (← links)
- A thread calculus with molecular dynamics (Q988554) (← links)
- Thread algebra for strategic interleaving (Q2461536) (← links)
- Synchronous cooperation for explicit multi-threading (Q2464036) (← links)
- Simulating Turing machines on Maurer machines (Q2480963) (← links)
- Splitting bisimulations and retrospective conditions (Q2500474) (← links)
