Sequentiality and the π-calculus (0)

by M Berger, K Honda, N Yoshida
Venue:In Proc. of TCLA