Model Checking for Nominal Calculi (0)

by G Ferrari, U Montanari, E Tuosto
Venue:In FoSSaCS’05