@misc{indiciaedba6ff054a47, title = {Minimal Session Types for the \$π\$-calculus (Extended Version)}, author = {Alen Arslanagic and Jorge A. Pérez and Anda-Amelia Palamariuc}, year = {2024}, url = {https://arxiv.org/abs/2107.10936}, note = {Source identifier: 2107.10936} }