7 citations · 16 across the 17 of their papers we have counts for
1 paper · 2 filters
Silvia Ghilezan, Jovanka Pantović, Ivan Prokić +2
This paper presents the first formalisation of the precise subtyping relation for asynchronous multiparty sessions. We show that our subtyping relation is sound (i.e., guarantees s…