http://www.itu.dk/people/jebe
This is an unofficial reimagining of the Archive of Formal Proofs
The pi-calculus in nominal logicby Jesper Bengtson
Psi-calculi in Isabelleby Jesper Bengtson
CCS in nominal logicby Jesper Bengtson