Event Structure Semantics for Nominal Calculi.

Roberto Bruni, Hernn C. Melgratti, Ugo Montanari

Browse the full CONCUR paper archive.