@misc{indiciaeaf52f790aa75, title = {On sequentiality and well-bracketing in the \$π\$-calculus}, author = {Daniel Hirschkoff and Enguerrand Prebet and Davide Sangiorgi}, year = {2021}, doi = {10.1109/lics52264.2021.9470559}, url = {https://arxiv.org/abs/2104.10942}, note = {Source identifier: 2104.10942} }