82 citations · 134 across the 3 of their papers we have counts for
1 paper · 2 filters
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…