Spatial and Behavioral Types in the Pi-Calculus.

Lucia Acciai, Michele Boreale

Browse the full CONCUR paper archive.