Joost Engelfriet;Tjalling Gelsema
-;-
Spatial and behavioral types in the pi-calculus
Information and Computation