The following pages link to (Q4449159):
Displayed 7 items.
- Execution architectures for program algebra (Q881834) (← links)
- Program algebra with a jump-shift instruction (Q959050) (← links)
- A thread calculus with molecular dynamics (Q988554) (← links)
- Synchronous cooperation for explicit multi-threading (Q2464036) (← links)
- Denotational semantics for thread algebra (Q2469153) (← links)
- Simulating Turing machines on Maurer machines (Q2480963) (← links)
- Polarized process algebra with reactive composition (Q2571202) (← links)