Minimal Session Types (Pearl). - Alen Arslanagic; Jorge A. Pérez 001; Erik Voogd (ECOOP, 2019)

Minimal Session Types (Extended Version). - Alen Arslanagic; Jorge A. Pérez 001; Erik Voogd (CoRR, 2019)

Minimal Session Types (Artifact). - Alen Arslanagic; Jorge A. Pérez 001; Erik Voogd (Dagstuhl Artifacts Ser., 2019)

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

Scalable Typestate Analysis for Low-Latency Environments. - Alen Arslanagic; Pavle Subotic; Jorge A. Pérez 001 (IFM, 2022)

Scalable Typestate Analysis using Bit-Vector Machines. - Alen Arslanagic; Pavle Subotic; Jorge A. Pérez 001 (CoRR, 2022)

A Minimal Formulation of Session Types. - Alen Arslanagic; Jorge A. Pérez 001; Dan Frumin (CoRR, 2023)

Bit-Vector Typestate Analysis. - Alen Arslanagic; Pavle Subotic; Jorge A. Pérez 001 (Formal Aspects Comput., 2023)

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