{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T01:46:35Z","timestamp":1743126395780,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662453902"},{"type":"electronic","value":"9783662453919"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-662-45391-9_20","type":"book-chapter","created":{"date-parts":[[2014,10,10]],"date-time":"2014-10-10T04:01:44Z","timestamp":1412913704000},"page":"291-305","source":"Crossref","is-referenced-by-count":4,"title":["Transforming Service Compositions into Cloud-Friendly Actor Networks"],"prefix":"10.1007","author":[{"given":"Dragan","family":"Ivanovi\u0107","sequence":"first","affiliation":[]},{"given":"Manuel","family":"Carro","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"4","key":"20_CR1","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1016\/j.is.2004.02.002","volume":"30","author":"W.M.P. Aalst van der","year":"2005","unstructured":"van der Aalst, W.M.P., ter Hofstede, A.H.M.: YAWL: Yet Another Workflow Language. Information Systems\u00a030(4), 245\u2013275 (2005)","journal-title":"Information Systems"},{"doi-asserted-by":"crossref","unstructured":"Agha, G.: Actors: A Model of Concurrent Computation in Distributed Systems. MIT Press, Cambridge (1986)","key":"20_CR2","DOI":"10.7551\/mitpress\/1086.001.0001"},{"issue":"1","key":"20_CR3","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1017\/S095679689700261X","volume":"7","author":"G. Agha","year":"1997","unstructured":"Agha, G., Mason, I.A., Smith, S.F., Talcott, C.L.: A foundation for actor computation. Journal of Functional Programming\u00a07(1), 1\u201372 (1997)","journal-title":"Journal of Functional Programming"},{"unstructured":"et al., M.D.D.: The reactive manifesto. Web (September 2013), http:\/\/www.reactivemanifesto.org\/","key":"20_CR4"},{"unstructured":"Apache Software Foundation: Apache ODE Documentation (2013), https:\/\/ode.apache.org\/","key":"20_CR5"},{"doi-asserted-by":"crossref","unstructured":"Apt, K.R., De Boer, F.S., Olderog, E.R.: Verification of sequential and concurrent programs. Springer (2010)","key":"20_CR6","DOI":"10.1007\/978-1-84882-745-5"},{"issue":"5","key":"20_CR7","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1145\/2447976.2447992","volume":"56","author":"P. Bailis","year":"2013","unstructured":"Bailis, P., Ghodsi, A.: Eventual consistency today: Limitations, extensions, and beyond. Commun. ACM\u00a056(5), 55\u201363 (2013), http:\/\/doi.acm.org\/10.1145\/2447976.2447992","journal-title":"Commun. ACM"},{"doi-asserted-by":"crossref","unstructured":"Bonetta, D., Pautasso, C.: An architectural style for liquid web services. In: 2011 9th Working IEEE\/IFIP Conference on Software Architecture (WICSA), pp. 232\u2013241 (June 2011)","key":"20_CR8","DOI":"10.1109\/WICSA.2011.38"},{"issue":"1","key":"20_CR9","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1016\/S0304-3975(99)00231-5","volume":"240","author":"L. Cardelli","year":"2000","unstructured":"Cardelli, L., Gordon, A.D.: Mobile ambients. Theoretical Computer Science\u00a0240(1), 177\u2013213 (2000)","journal-title":"Theoretical Computer Science"},{"key":"20_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"268","DOI":"10.1007\/3-540-45699-6_6","volume-title":"Applied Semantics","author":"C. Fournet","year":"2002","unstructured":"Fournet, C., Gonthier, G.: The join calculus: A language for distributed mobile programming. In: Barthe, G., Dybjer, P., Pinto, L., Saraiva, J. (eds.) APPSEM 2000. LNCS, vol.\u00a02395, pp. 268\u2013332. Springer, Heidelberg (2002)"},{"unstructured":"Gupta, M.: Akka Essentials. Packt Publishing Ltd. (2012)","key":"20_CR11"},{"unstructured":"Hewitt, C.: A universal, modular actor formalism for artificial intelligence. In: IJCAI 1973. IJCAI (1973)","key":"20_CR12"},{"issue":"3","key":"20_CR13","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1016\/0004-3702(77)90033-9","volume":"8","author":"C. Hewitt","year":"1977","unstructured":"Hewitt, C.: Viewing control structures as patterns of passing messages. Artificial Intelligence\u00a08(3), 323\u2013364 (1977)","journal-title":"Artificial Intelligence"},{"doi-asserted-by":"crossref","unstructured":"Hoare, C.A.R.: An axiomatic basis for computer programming. Communications of the ACM\u00a012(10) (1969)","key":"20_CR14","DOI":"10.1145\/363235.363259"},{"key":"20_CR15","volume-title":"Camel in Action","author":"C. Ibsen","year":"2010","unstructured":"Ibsen, C., Anstey, J.: Camel in Action, 1st edn. Manning Publications Co., Greenwich (2010)","edition":"1"},{"unstructured":"Milner, R.: Communicating and mobile systems: The pi calculus. Cambridge University Press (1999)","key":"20_CR16"},{"unstructured":"Team, O.: Orchestra User Guide. Bull-SAS OW2 Consortium (October 2011), http:\/\/orchestra.ow2.org\/","key":"20_CR17"},{"unstructured":"Varela, C.A.: Programming Distributed Computing Systems: A Foundational Approach. MIT Press (2013)","key":"20_CR18"}],"container-title":["Lecture Notes in Computer Science","Service-Oriented Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-45391-9_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,25]],"date-time":"2020-08-25T17:35:37Z","timestamp":1598376937000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-45391-9_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783662453902","9783662453919"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-45391-9_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}