The following pages link to (Q4702592):
Displayed 5 items.
- A process calculus with finitary comprehended terms (Q385508) (← links)
- Preferential choice and coordination conditions (Q864506) (← links)
- Program algebra with a jump-shift instruction (Q959050) (← links)
- A thread calculus with molecular dynamics (Q988554) (← links)
- Parallel Processes with Implicit Computational Capital (Q2870191) (← links)