Arc Forumnew | comments | leaders | submitlogin
π-calculus FAQ [scribd] (cmu.edu)
4 points by kinnard 2961 days ago | 1 comment


2 points by kinnard 2960 days ago | link

TLDR: π-calculus is to concurrent programs as λ-calculus is to sequential programs.

-----