Sequentiality and the pCalculus, to appear (2001)

by M Berger, K Honda, N Yoshida
Venue:in Proc. TLCA01, LNCS