Alen Arslanagić
Alen Arslanagić
Home
Publications
Experience
Projects
Contact
Publications
Type
Conference paper
Date
2022
2021
2019
Alen Arslanagić
,
Pavle Subotić
,
Jorge A. Pérez
(2022).
Scalable Typestate Analysis for Low-Latency Environments
.
iFM 2022
.
Paper
Code
Alen Arslanagić
,
Anda-Amelia Palamariuc
,
Jorge A. Pérez
(2021).
Minimal Session Types for the pi-calculus
.
PPDP 2021
.
DOI
PDF
Alen Arslanagić
,
Erik Voogd
,
Jorge A. Pérez
(2019).
Minimal Session Types
.
ECOOP 2019
.
DOI
PDF
Code
Cite
×