Latest publications. See DBLP for a detailed list.

     
FORTE 2026 Deadlock-free Context-free Session Types (Mordido, Pérez) arxiv
ECOOP 2025 Contrasting Deadlock-Free Session Processes (Jaramillo, Pérez) doi
Logical and Algebraic Methods in Programming Comparing session type systems derived from linear logic (Van den Heuvel, Pérez) doi
Information and Computation Minimal Session Types for the pi-calculus (Arslanagic, Pérez, Palamariuc) doi
CONCUR 2024 Around Classical and Intuitionistic Linear Processes (Jaramillo, Frumin, Pérez) doi