On the pi-Calculus and Linear Logic (1994)

by G. Bellin , et al.
Citations:14 - 2 self