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