Model Checking for Nominal Calculi.

Gian-Luigi Ferrari, Ugo Montanari, Emilio Tuosto

Browse the full FOSSACS paper archive.