Minimal Session Types for the π-calculus (Extended Version). - Alen Arslanagic; Anda-Amelia Palamariuc; Jorge A. Pérez 001 (CoRR, 2021)

Minimal session types for the π-calculus. - Alen Arslanagic; Jorge A. Pérez 001; Anda-Amelia Palamariuc (Inf. Comput., 2024)