Anda-Amelia Palamariuc

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 3

Top Topics

Expressive Power

Top Venues

Publications

Alen Arslanagic, Jorge A. Pérez, Anda-Amelia Palamariuc
Minimal session types for the π-calculus. Inf. Comput. 297 (2024)
Alen Arslanagic, Anda-Amelia Palamariuc, Jorge A. Pérez
Minimal Session Types for the π-calculus. PPDP (2021)
Alen Arslanagic, Anda-Amelia Palamariuc, Jorge A. Pérez
Minimal Session Types for the π-calculus (Extended Version). CoRR (2021)