Rule Formats for Nominal Process Calculi.

Luca Aceto, Ignacio Fbregas, lvaro Garca-Prez, Anna Inglfsdttir, Yolanda Ortega-Malln

Browse the full CONCUR paper archive.