{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:29:58Z","timestamp":1725496198793},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540771128"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-77115-9_23","type":"book-chapter","created":{"date-parts":[[2007,11,29]],"date-time":"2007-11-29T10:11:56Z","timestamp":1196331116000},"page":"225-239","source":"Crossref","is-referenced-by-count":4,"title":["Unifying Denotational Semantics with Operational Semantics for Web Services"],"prefix":"10.1007","author":[{"given":"Huibiao","family":"Zhu","sequence":"first","affiliation":[]},{"given":"Jifeng","family":"He","sequence":"additional","affiliation":[]},{"given":"Jing","family":"Li","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"23_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1007\/978-3-540-24634-3_9","volume-title":"Coordination Models and Languages","author":"M.J. Butler","year":"2004","unstructured":"Butler, M.J., Ferreira, C.: An operational semantics for StAC, a language for modelling long-running business transactions. In: De Nicola, R., Ferrari, G.L., Meredith, G. (eds.) COORDINATION 2004. LNCS, vol.\u00a02949, pp. 87\u2013104. Springer, Heidelberg (2004)"},{"key":"23_CR2","unstructured":"Curbera, F., Goland, Y., Klein, J., Leymann, F., Roller, D., Satish Thatte, M., Weerawarana, S.: Business Process Execution Language for Web Service (2003), \n                    \n                      http:\/\/www.siebel.com\/bpel"},{"issue":"1","key":"23_CR3","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1007\/s11704-007-0002-7","volume":"1","author":"J. He","year":"2007","unstructured":"He, J., Zhu, H., Pu, G.: A model for BPEL-like languages. Frontiers of Computer Science in China\u00a01(1), 9\u201319 (2007)","journal-title":"Frontiers of Computer Science in China"},{"issue":"8","key":"23_CR4","doi-asserted-by":"publisher","first-page":"672","DOI":"10.1145\/27651.27653","volume":"38","author":"C.A.R. Hoare","year":"1987","unstructured":"Hoare, C.A.R., Hayes, I.J., He, J., Morgan, C., Roscoe, A.W., Sanders, J.W., Sorensen, I.H., Spivey, J.M., Sufrin, B.: Laws of programming. Communications of the ACM\u00a038(8), 672\u2013686 (1987)","journal-title":"Communications of the ACM"},{"key":"23_CR5","volume-title":"Unifying Theories of Programming","author":"C.A.R. Hoare","year":"1998","unstructured":"Hoare, C.A.R., He, J.: Unifying Theories of Programming. Prentice Hall, Englewood Cliffs (1998)"},{"key":"23_CR6","unstructured":"Leymann, F.: Web Services Flow Language (WSFL 1.0). IBM (2001), \n                    \n                      http:\/\/www-3.ibm.com\/software\/solutions\/webservices\/pdf\/WSDL.pdf"},{"key":"23_CR7","unstructured":"Plotkin, G.: A structural approach to operational semantics. Technical Report\u00a019, University of Aahus (1981) Also published in The Journal of Logic and Algebraic Programming 60(61),17\u2013139 (2004)"},{"key":"23_CR8","unstructured":"Thatte, S.: XLANG: Web Service for Business Process Design. Microsoft (2001), \n                    \n                      http:\/\/www.gotdotnet.com\/team\/xml_wsspecs\/xlang-c\/default.html"},{"key":"23_CR9","unstructured":"Zhu, H.: Linking the Semantics of a Multithreaded Discrete Event Simulation Language. PhD thesis, London South Bank University (February 2005)"},{"key":"23_CR10","volume-title":"Proc. SEW-31: 31st IEEE Software Engineering Workshop","author":"H. Zhu","year":"2007","unstructured":"Zhu, H., He, J., Pu, G., Li, J.: An operational approach to BPEL-like programming. In: Proc. SEW-31: 31st IEEE Software Engineering Workshop, IEEE Computer Society Press, Los Alamitos (2007)"}],"container-title":["Lecture Notes in Computer Science","Distributed Computing and Internet Technology"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-77115-9_23.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T11:00:52Z","timestamp":1619521252000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-77115-9_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540771128"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-77115-9_23","relation":{},"subject":[]}}