Deciding Safety Properties in Infinite-State Pi-Calculus via Behavioural Types.

Lucia Acciai, Michele Boreale

Browse the full ICALP paper archive.