Latest publications. See DBLP for a detailed list.

     
EXPRESS/SOS 2026 On the Expressiveness of Asynchronous Processes with Nested Session Types (Wortelboer, Frumin, Pérez) doi / arxiv
FORTE 2026 Deadlock-free Context-free Session Types (Mordido, Pérez) doi / 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