What is Pi Calculus?

“In theoretical computer science, the π-calculus is a process calculus. The π-calculus allows channel names to be communicated along the channels themselves, and in this way it is able to describe concurrent computations whose network configuration may change during the computation.” (reference)

To better understand how it is being applied in the RChain development, check out the paper Mobile process calculi for programming the blockchain.

Leave a comment

Your email address will not be published. Required fields are marked *