Keyword: pi calculus

• ParamPi: Coding of a typed monadic pi-calculus using parameters for free names
  Loïc Henry-Gréard
• PiCalc: Pi-calculus in Coq
  Ivan Scagnetto