Arc Forumnew | comments | leaders | submitlogin
2 points by kinnard 585 days ago | link | parent

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