On the π-calculus and linear logic (1994)

by G Bellin, P Scott
Venue:Theoret. Comput. Sci