Pi-Calculus

• Process Calculi: Milner's CCS, the π-Calculus, Bisimulation, and Session Types for Protocol Correctness · 2022-01-10

  A rigorous exploration of process calculi—from CCS to the π-calculus, the theory of bisimulation, and the Curry-Howard line connecting session types to linear logic.