{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T07:35:12Z","timestamp":1725521712682},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540897361"},{"type":"electronic","value":"9783540897378"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-89737-8_1","type":"book-chapter","created":{"date-parts":[[2008,12,11]],"date-time":"2008-12-11T04:13:24Z","timestamp":1228968804000},"page":"1-12","source":"Crossref","is-referenced-by-count":3,"title":["A Denotational Model for Web Services Choreography"],"prefix":"10.1007","author":[{"given":"Geguang","family":"Pu","sequence":"first","affiliation":[]},{"given":"Yongxin","family":"Zhao","sequence":"additional","affiliation":[]},{"given":"Zheng","family":"Wang","sequence":"additional","affiliation":[]},{"given":"Libo","family":"Feng","sequence":"additional","affiliation":[]},{"given":"Huibiao","family":"Zhu","sequence":"additional","affiliation":[]},{"given":"Jifeng","family":"He","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"1_CR1","doi-asserted-by":"crossref","unstructured":"Brogi, A., Canal, C., Pimentel, E., Vallecillo, A.: Formalizing web service choreographies. In: Proc. of WS-FM 2004, Electr. Notes Theor. Comput. Sci., pp. 73\u201394 (2004)","DOI":"10.1016\/j.entcs.2004.05.007"},{"key":"1_CR2","unstructured":"Business Process Execution Language for Web Services version 1.1, http:\/\/www.ibm.com\/developerworks\/library\/specification\/ws-bpel\/"},{"key":"1_CR3","series-title":"Lecture Notes in Computer Science","volume-title":"Unifying Theories of Programming","year":"2006","unstructured":"Dunne, S., Stoddart, B. (eds.): UTP 2006. LNCS, vol.\u00a04010. Springer, Heidelberg (2006)"},{"key":"1_CR4","doi-asserted-by":"crossref","unstructured":"Gorrieri, R., Guidi, C., Lucchi, R.: Reasoning about interaction patterns in choreography. In: EPEW\/WS-EM 2005. LNCS, vol.\u00a03670, pp. 333\u2013348 (2005)","DOI":"10.1007\/11549970_24"},{"key":"1_CR5","volume-title":"Unifying Theories of Programming","author":"C.A.R. Hoare","year":"1998","unstructured":"Hoare, C.A.R., Jifeng, H.: Unifying Theories of Programming. Prentice Hall, Englewood Cliffs (1998)"},{"key":"1_CR6","volume-title":"The SPIN Model Checker: Primer and Reference Mannual","author":"G.J. Holzmann","year":"2003","unstructured":"Holzmann, G.J.: The SPIN Model Checker: Primer and Reference Mannual. Addison-Wesley, Reading (2003)"},{"key":"1_CR7","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","volume":"100","author":"R. Milner","year":"1992","unstructured":"Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes. Journal of Information and Computation\u00a0100, 1\u201377 (1992)","journal-title":"Journal of Information and Computation"},{"key":"1_CR8","doi-asserted-by":"crossref","unstructured":"Pu, G., Zhao, X., Wang, S., Qiu, Z.: Towards the semantics and verification of BPEL. In: Proc. of Electronic Notes in Theoretical Computer Science, vol. 151(2), pp. 33\u201352 (2006)","DOI":"10.1016\/j.entcs.2005.07.035"},{"key":"1_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1007\/11768869_19","volume-title":"Formal Methods for Open Object-Based Distributed Systems","author":"G. Pu","year":"2006","unstructured":"Pu, G., Zhu, H., Qiu, Z., Wang, S., Zhao, X., He, J.: Theoretical foundations of scope-based compensable flow language for web service. In: Gorrieri, R., Wehrheim, H. (eds.) FMOODS 2006. LNCS, vol.\u00a04037, pp. 251\u2013266. Springer, Heidelberg (2006)"},{"key":"1_CR10","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1016\/0304-3975(88)90049-7","volume":"60","author":"A.W. Roscoe","year":"1988","unstructured":"Roscoe, A.W., Hoare, C.A.R.: The laws of Occam programming. Theoretical Computer Science\u00a060, 177\u2013229 (1988)","journal-title":"Theoretical Computer Science"},{"key":"1_CR11","unstructured":"Thatte, S.: XLANG: Web Services for Business Process Design. Microsoft (2001), http:\/\/www.gotdotnet.com\/team\/xml_wsspecs\/xlang-c\/default.html"},{"key":"1_CR12","unstructured":"Web Services Choreography Description Language, Version 1.0 (November 2005), http:\/\/www.w3.org\/TR\/ws-cdl-10\/"},{"key":"1_CR13","unstructured":"WS-CDL Eclipse Plug-in, http:\/\/wscdl-eclipse.sourceforge.net"},{"key":"1_CR14","unstructured":"Web Service Choreography Interface (WSCI) 1.0, http:\/\/www.w3.org\/TR\/wsci\/"},{"key":"1_CR15","unstructured":"Web Services Flow Language (WSFL), http:\/\/xml.coverpages.org\/wsfl.html"},{"key":"1_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"264","DOI":"10.1007\/11901433_15","volume-title":"Formal Methods and Software Engineering","author":"H. Yang","year":"2006","unstructured":"Yang, H., Zhao, X., Qiu, Z., Cai, C., Pu, G.: Type checking choreography description language. In: Liu, Z., He, J. (eds.) ICFEM 2006. LNCS, vol.\u00a04260, pp. 264\u2013283. Springer, Heidelberg (2006)"},{"key":"1_CR17","doi-asserted-by":"crossref","unstructured":"Yang, H., Zhao, X., Qiu, Z., Pu, G., Wang, S.: A Formal Model forWeb Service Choreography Description Language (WS-CDL). In: Proc. of ICWS 2006, pp. 893\u2013894 (2006)","DOI":"10.1109\/ICWS.2006.3"}],"container-title":["Lecture Notes in Computer Science","Distributed Computing and Internet Technology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-89737-8_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,16]],"date-time":"2019-05-16T00:48:41Z","timestamp":1557967721000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-89737-8_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540897361","9783540897378"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-89737-8_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}