On the pi-Calculus and Linear Logic (1994)

by G Bellin, P J Scott
Venue:TCS