Stephane L. Rolland-Brabant ⁂Pict: A Programming Language based on Pi-Calculus by Pierce and Turner
I come back to look at the Pict Language
I need to refresh on Pi-Calculus #picalculus . I liked some of this syntax
chl501・a(x).P - Wait for reading x on the channel a, then having received the value, behave as P.
・ā<x>.P - Wait to send the value along with the channel a then, after x is accepted by some processes, behavior like P