31 citations · 53 across the 15 of their papers we have counts for
1 paper · 1 filter
Mario Bravetti, Luca Padovani, Gianluigi Zavattaro
Session types are abstractions of communication protocols enabling the static analysis of message-passing processes. Refinement notions for session types are key to support safe fo…