Session types and subtyping for orchestrated interactions

Franco Barbanera, Ugo de'Liguoro. Session types and subtyping for orchestrated interactions. Journal of Logic and Algebraic Programming, 102:103-137, 2019. [doi]

Abstract

Abstract is missing.