{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,20]],"date-time":"2025-02-20T23:59:32Z","timestamp":1740095972393,"version":"3.37.3"},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540894360"},{"type":"electronic","value":"9783540894377"}],"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-89437-7_9","type":"book-chapter","created":{"date-parts":[[2008,11,10]],"date-time":"2008-11-10T08:46:17Z","timestamp":1226306777000},"page":"139-145","source":"Crossref","is-referenced-by-count":3,"title":["Structured Interacting Computations"],"prefix":"10.1007","author":[{"given":"William","family":"Cook","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jayadev","family":"Misra","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"5","key":"9_CR1","doi-asserted-by":"publisher","first-page":"769","DOI":"10.1145\/1018203.1018205","volume":"26","author":"N. Benton","year":"2004","unstructured":"Benton, N., Cardelli, L., Fournet, C.: Modern concurrency abstractions for C#. TOPLAS\u00a026(5), 769\u2013804 (2004)","journal-title":"TOPLAS"},{"key":"9_CR2","unstructured":"Box, D., EhneBuske, D., Kakivaya, G., Layman, A., Mendelsohn, N., Nielson, H.F., Thatte, S., Winer, D.: Simple object access protocol 1.1, \n                    \n                      http:\/\/www.w3.org\/TR\/SOAP"},{"key":"9_CR3","unstructured":"Christensen, E., Curbera, F., Meredith, G., Weerawarana, S.: Web services description language 1.1, \n                    \n                      http:\/\/www.w3.org\/TR\/wsdl"},{"key":"9_CR4","unstructured":"Main page for World Wide Web Consortium (W3C) XML activity and information (2001), \n                    \n                      http:\/\/www.w3.org\/XML\/"},{"key":"9_CR5","volume-title":"Transaction Processing: Concepts and Techniques","author":"J. Gray","year":"1993","unstructured":"Gray, J., Reuter, A.: Transaction Processing: Concepts and Techniques. Morgan Kaufmann, San Francisco (1993)"},{"key":"9_CR6","volume-title":"Communicating Sequential Processes","author":"C. Hoare","year":"1984","unstructured":"Hoare, C.: Communicating Sequential Processes. Prentice Hall International, Englewood Cliffs (1984)"},{"key":"9_CR7","doi-asserted-by":"crossref","unstructured":"Kitchin, D., Powell, E., Misra, J.: Simulation using orchestration. In: Proceedings of AMAST (2008)","DOI":"10.1007\/978-3-540-79980-1_2"},{"key":"9_CR8","volume-title":"International Series in Computer Science","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. In: Hoare, C.A.R. (ed.) International Series in Computer Science. Prentice-Hall, Englewood Cliffs (1989)"},{"key":"9_CR9","volume-title":"Communicating and Mobile Systems: the \u03c0-Calculus","author":"R. Milner","year":"1999","unstructured":"Milner, R.: Communicating and Mobile Systems: the \u03c0-Calculus. Cambridge University Press, Cambridge (1999)"},{"key":"9_CR10","doi-asserted-by":"crossref","unstructured":"Misra, J., Cook, W.R.: Computation orchestration: A basis for wide-area computing. Journal of Software and Systems Modeling (May 2006), \n                    \n                      http:\/\/dx.doi.org\/10.1007\/s10270-006-0012-1","DOI":"10.1007\/s10270-006-0012-1"},{"key":"9_CR11","unstructured":"W. site on UDDI, \n                    \n                      http:\/\/www.uddi.org\/"},{"issue":"2-3","key":"9_CR12","doi-asserted-by":"publisher","first-page":"234","DOI":"10.1016\/j.tcs.2008.04.037","volume":"402","author":"I. Wehrman","year":"2008","unstructured":"Wehrman, I., Kitchin, D., Cook, W.R., Misra, J.: A timed semantics of orc. Theoretical Computer Science\u00a0402(2-3), 234\u2013248 (2008)","journal-title":"Theoretical Computer Science"}],"container-title":["Lecture Notes in Computer Science","Software-Intensive Systems and New Computing Paradigms"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-89437-7_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,3]],"date-time":"2019-03-03T20:45:50Z","timestamp":1551645950000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-89437-7_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540894360","9783540894377"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-89437-7_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}