The following pages link to (Q4702592):
Displaying 7 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)
- Using Hoare Logic in a Process Algebra Setting (Q5164860) (← links)
- Imperative process algebra and models of parallel computation (Q6580081) (← links)
