{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T13:52:04Z","timestamp":1725889924417},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540388623"},{"type":"electronic","value":"9783540388654"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11841197_10","type":"book-chapter","created":{"date-parts":[[2006,9,11]],"date-time":"2006-09-11T07:59:47Z","timestamp":1157961587000},"page":"148-162","source":"Crossref","is-referenced-by-count":61,"title":["A Formal Account of Contracts for Web Services"],"prefix":"10.1007","author":[{"given":"S.","family":"Carpineti","sequence":"first","affiliation":[]},{"given":"G.","family":"Castagna","sequence":"additional","affiliation":[]},{"given":"C.","family":"Laneve","sequence":"additional","affiliation":[]},{"given":"L.","family":"Padovani","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"10_CR1","unstructured":"Banerji, A., Bartolini, C., Beringer, D., Chopella, V., et al.: Web Services Conversation Language (WSCL) 1.0 (March 2002), http:\/\/www.w3.org\/TR\/2002\/NOTE-wscl10-20020314"},{"key":"10_CR2","unstructured":"Beringer, D., Kuno, H., Lemon, M.: Using WSCL in a uddi Registry 1.0, UDDI Working Draft Best Practices Document (2001), http:\/\/xml.coverpages.org\/HP-UDDI-wscl-5-16-01.pdf"},{"key":"10_CR3","unstructured":"Booth, D., Liu, C.K.: Web Services Description Language (WSDL) Version 2.0 Part 0: Primer (March 2006)"},{"key":"10_CR4","unstructured":"Chinnici, R., Haas, H., Lewis, A.A., Moreau, J.-J., et al.: Web Services Description Language (WSDL) Version 2.0 Part 2: Adjuncts (March 2006), http:\/\/www.w3.org\/TR\/2006\/CR-wsdl20-adjuncts-20060327"},{"key":"10_CR5","unstructured":"Chinnici, R., Moreau, J.-J., Ryman, A., Weerawarana, S.: Web Services Description Language (WSDL) Version 2.0 Part 1: Core Language (March 2006), http:\/\/www.w3.org\/TR\/2006\/CR-wsdl20-20060327"},{"key":"10_CR6","unstructured":"Christensen, E., Curbera, F., Meredith, G., Weerawarana, S.: Web Services Description Language (WSDL) 1.1 (2001), http:\/\/www.w3.org\/TR\/2001\/NOTE-wsdl-20010315"},{"key":"10_CR7","unstructured":"Colgrave, J., Januszewski, K.: Using wsdl in a uddi registry, version 2.0.2. Technical note, OASIS (2004), http:\/\/www.oasis-open.org\/committees\/uddi-spec\/doc\/tn\/uddi-spec-tc-tn-wsdl-v2.htm"},{"key":"10_CR8","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-2572-0","volume-title":"Isomorphisms of Types: from Lambda Calculus to Information Retrieval and Language Desig","author":"R.D. Cosmo","year":"1995","unstructured":"Cosmo, R.D.: Isomorphisms of Types: from Lambda Calculus to Information Retrieval and Language Desig. Birkhauser, Basel (1995)"},{"key":"10_CR9","unstructured":"Fallside, D.C., Walmsley, P.: XML Schema Part 0: Primer Second Edition (October 2004), http:\/\/www.w3.org\/TR\/xmlschema-0\/"},{"key":"10_CR10","doi-asserted-by":"crossref","unstructured":"Fournet, C., Hoare, C.A.R., Rajamani, S.K., Rehof, J.: Stuck-free conformance. Technical Report MSR-TR-2004-69, Microsoft Research (July 2004)","DOI":"10.1007\/978-3-540-27813-9_19"},{"issue":"4","key":"10_CR11","doi-asserted-by":"publisher","first-page":"896","DOI":"10.1145\/4221.4249","volume":"32","author":"M. Hennessy","year":"1985","unstructured":"Hennessy, M.: Acceptance trees. JACM: Journal of the ACM\u00a032(4), 896\u2013928 (1985)","journal-title":"JACM: Journal of the ACM"},{"key":"10_CR12","volume-title":"Foundation of Computing","author":"M.C.B. Hennessy","year":"1988","unstructured":"Hennessy, M.C.B.: Algebraic Theory of Processes. In: Foundation of Computing, MIT Press, Cambridge (1988)"},{"key":"10_CR13","volume-title":"A Calculus of Communicating Systems","author":"R. Milner","year":"1982","unstructured":"Milner, R.: A Calculus of Communicating Systems. Springer, New York (1982)"},{"key":"10_CR14","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1016\/0304-3975(84)90113-0","volume":"34","author":"R.D. Nicola","year":"1984","unstructured":"Nicola, R.D., Hennessy, M.: Testing equivalences for processes. Theor. Comput. Sci.\u00a034, 83\u2013133 (1984)","journal-title":"Theor. Comput. Sci."},{"key":"10_CR15","first-page":"138","volume-title":"TAPSOFT 1987\/CAAP 1987: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and Programming","author":"R.D. Nicola","year":"1987","unstructured":"Nicola, R.D., Hennessy, M.: CCS without tau\u2019s. In: TAPSOFT 1987\/CAAP 1987: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and Programming, vol.\u00a01, pp. 138\u2013152. Springer, Heidelberg (1987)"},{"issue":"3","key":"10_CR16","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1016\/0304-3975(87)90117-4","volume":"50","author":"I. Phillips","year":"1987","unstructured":"Phillips, I.: Refusal testing. Theor. Comput. Sci.\u00a050(3), 241\u2013284 (1987)","journal-title":"Theor. Comput. Sci."},{"issue":"2","key":"10_CR17","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1145\/772970.772977","volume":"38","author":"C. Queinnec","year":"2003","unstructured":"Queinnec, C.: Inverting back the inversion of control or, continuations versus page-centric programming. SIGPLAN Not.\u00a038(2), 57\u201364 (2003)","journal-title":"SIGPLAN Not."},{"issue":"6","key":"10_CR18","doi-asserted-by":"crossref","first-page":"523","DOI":"10.1051\/ita\/1993270605231","volume":"27","author":"M. Rittri","year":"1993","unstructured":"Rittri, M.: Retrieving library functions by unifying types modulo linear isomorphism. RAIRO Theoretical Informatics and Applications\u00a027(6), 523\u2013540 (1993)","journal-title":"RAIRO Theoretical Informatics and Applications"},{"key":"10_CR19","unstructured":"Savas Parastatidis and Jim Webber. MEP SSDL Protocol Framework (April 2005), http:\/\/ssdl.org"}],"container-title":["Lecture Notes in Computer Science","Web Services and Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11841197_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T19:40:40Z","timestamp":1605642040000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11841197_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540388623","9783540388654"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/11841197_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}