Tammo van Lessen, Jörg Nitzsche, Frank Leymann. Formalising Message Exchange Patterns using BPEL Light. In 2008 IEEE International Conference on Services Computing (SCC 2008), 8-11 July 2008, Honolulu, Hawaii, USA. pages 353-360, IEEE Computer Society, 2008. [doi]
Abstract is missing.