82 citations · 143 across the 7 of their papers we have counts for
1 paper · 1 filter
Jesper Bengtson, Joachim Parrow
We formalise the pi-calculus using the nominal datatype package, based on ideas from the nominal logic by Pitts et al., and demonstrate an implementation in Isabelle/HOL. The purpo…