32 citations · 78 across the 20 of their papers we have counts for
1 paper · 2 filters
Mario Bravetti, Marco Carbone, Gianluigi Zavattaro
Session types are behavioural types for guaranteeing that concurrent programs are free from basic communication errors. Recent work has shown that asynchronous session subtyping is…