PCL Home Page

Papers

• A calculus of contracting processes
  Massimo Bartoletti and Roberto Zunino.
  To appear in Logic in Computer Science (LICS), 2010.
  • Technical Reporti DISI-09-034: the logic
  • Technical Report DISI-09-056: the calculus

Tool

We developed a theorem prover for PCL. Haskell sources are available below. You will need GHC in order to compile it.

PCL theorem prover source code

Roberto Zunino, 2009