Gero Decker, Frank Puhlmann, Mathias Weske. Formalizing Service Interactions. In Schahram Dustdar, José Luiz Fiadeiro, Amit P. Sheth, editors, Business Process Management, 4th International Conference, BPM 2006, Vienna, Austria, September 5-7, 2006, Proceedings. Volume 4102 of Lecture Notes in Computer Science, pages 414-419, Springer, 2006. [doi]
Abstract is missing.