- 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

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