My previous post on Wolfram’s physics mentioned the Pi calculus, but I liked this little diagram so much I decided to let it have its own mention. The rules aren’t really four in number, but oh well.
- (νx)P: create a channel named x, then do P
- x(y).P: receive y over channel x, then do P
- x‾<y>.P: send y over channel x, then do P
- P|Q: do P and Q at the same time
- !P: do P over and over until stopped
- 0: stop
Further Reading:
https://en.wikipedia.org/wiki/%CE%A0-calculus
https://en.wikipedia.org/wiki/Process_calculus
https://en.wikipedia.org/wiki/Game_semantics
https://golem.ph.utexas.edu/category/2009/08/the_pi_calculus.html
[*12.34]
<>
Equivalent eXchange 