Skip to ContentSkip to Navigation
Practical matters How to find us A. (Alen) Arslanagic

Publications

Scalable Typestate Analysis for Low-Latency Environments

Minimal Session Types for the π-calculus

Minimal Session Types