The Pi Calculus

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]

<>

 

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out /  Change )

Google photo

You are commenting using your Google account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s

This site uses Akismet to reduce spam. Learn how your comment data is processed.