Media type: E-Article Title: Formal Techniques for Networked and Distributed Systems - FORTE 2005: Formalising Web Services Contributor: Turner, Kenneth J. Published: Springer Berlin Heidelberg, 2005 Published in: Formal Techniques for Networked and Distributed Systems - FORTE 2005 (2005), Seite 473-488 Language: Not determined DOI: 10.1007/11562436_34 ISBN: 9783540291893; 9783540320845 ISSN: 0302-9743; 1611-3349 Origination: Footnote: