Media type: E-Article Title: Lecture Notes in Computer Science: Synthesizing Semantic Web Service Compositions with jMosel and Golog Contributor: Margaria, Tiziana; Meyer, Daniel; Kubczak, Christian; Isberner, Malte; Steffen, Bernhard imprint: Springer Berlin Heidelberg, 2009 Published in: Lecture Notes in Computer Science Language: Not determined DOI: 10.1007/978-3-642-04930-9_25 ISSN: 1611-3349; 0302-9743 Origination: Footnote: