32 citations · 78 across the 20 of their papers we have counts for
1 paper · 1 filter
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…