On sequentiality and well-bracketing in the π-calculus.

Daniel Hirschkoff, Enguerrand Prebet, Davide Sangiorgi

Browse the full LICS paper archive.