Model Checking for Nominal Calculi (2005)

by G Ferrari, U Montanari, E Tuosto
Venue:In Proc. of FoSSaCS, volume 3441 of LNCS