Configurable analysis of sequential multi-party choreographies

Andreas Schönberger, Guido Wirtz. Configurable analysis of sequential multi-party choreographies. Comput. Syst. Sci. Eng., 27(2), 2012.

Abstract

Abstract is missing.