Psi-calculi in isabelle (2009)

by J Bengtson, J Parrow
Venue:of Lecture Notes in Computer Science