On the pi-Calculus and Linear Logic (1994)

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