4 ms·
For those of us who have never heard of pi calculus, can someone give a beginners description (wikipedia article just confused me even more)
by k2xl 9y ago
For those of us who have never heard of pi calculus, can someone give a beginners description (wikipedia article just confused me even more)
- wz1000 9y agoThe pi-calculus is a mathematical formalization of concurrent programs in the same way that lambda calculus is a formalization of computable functions. It is basically a notation that allows you to easily specify concurrent programs, and then rigorously reason about them.
- deleted 9y ago[deleted]