#Bisimulation

1 post in tag “Bisimulation”.

• 

  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.