Model Checking for Nominal Calculi (2005)

by Gianluigi Ferrari, Ugo Montanari, Emilio Tuosto
Venue:Foundations of Software Science and Computation Structures