Target Language
Asynchronous variant of Milner”Ēs ?-calculus
new x in P (channel creation)
x![y] (output)
x?[y].P (input)
P | Q (parallel execution)
def x[y]=P in Q (process definition)
if x then P else Q (conditional branch)
Previous slide
Next slide
Back to first slide
View graphic version