Orchestrated session compliance

Franco Barbanera, Steffen van Bakel, Ugo de'Liguoro. Orchestrated session compliance. Journal of Logic and Algebraic Programming, 86(1):30-76, 2017. [doi]

Abstract

Abstract is missing.