On the pi-calculus and linear logic (1994)

by G Bellin, P J Scott
Venue:Theoretical Computer Science, 135(1):11 – 65