pi-calculus

analogous to lambda calculus, but for concurrent systems, originally formulated by judea pearl

• https://www.cs.cmu.edu/~wing/publications/Wing02a.pdf