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 used to describe communication protocols in distributed systems and, as usual in type theories, session subtyping characterizes substitutability of the communicat…