P.: On the pi-Calculus and Linear Logic (1994)

by G Bellin, Scott
Venue:Theoretical Computer Science