The following pages link to The Value-Passing Calculus (Q2842635):
Displaying 7 items.
- Extensional Petri net (Q667521) (← links)
- Theory of interaction (Q896903) (← links)
- A semantic theory for value-passing processes based on the late approach (Q1398368) (← links)
- Formalising a value-passing calculus in H0L (Q1965247) (← links)
- A thesis for interaction (Q2055962) (← links)
- (Q5111635) (← links)
- Non-deterministic structures of computation (Q5740658) (← links)