TY  - RPRT
TI  - On sequentiality and well-bracketing in the $π$-calculus
AU  - Daniel Hirschkoff
AU  - Enguerrand Prebet
AU  - Davide Sangiorgi
PY  - 2021
DO  - 10.1109/lics52264.2021.9470559
UR  - https://arxiv.org/abs/2104.10942
ID  - 2104.10942
ER  -