Login / Signup

Minimal Session Types for the π-calculus (Extended Version).

Alen Arslanagic Anda-Amelia Palamariuc Jorge A. Pérez

Published in: CoRR (2021)

Keyphrases

expressive power