Formalising the π-calculus using Nominal Logic

by Jesper Bengtson , Joachim Parrow
Citations:3 - 0 self