Session types for safe Web service orchestration

Jonathan Michaux, Elie Najm, Alessandro Fantechi. Session types for safe Web service orchestration. Journal of Logic and Algebraic Programming, 82(8):282-310, 2013. [doi]

Abstract

Abstract is missing.