{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T18:10:04Z","timestamp":1737396604356,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540744658"},{"type":"electronic","value":"9783540744665"}],"license":[{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-74466-5_69","type":"book-chapter","created":{"date-parts":[[2007,8,27]],"date-time":"2007-08-27T14:54:32Z","timestamp":1188226472000},"page":"651-661","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Management in Distributed Systems: A Semi-formal Approach"],"prefix":"10.1007","author":[{"given":"Marco","family":"Aldinucci","sequence":"first","affiliation":[]},{"given":"Marco","family":"Danelutto","sequence":"additional","affiliation":[]},{"given":"Peter","family":"Kilpatrick","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"69_CR1","first-page":"282","volume-title":"Proc. of Intl. Euromicro PDP: Parallel Distributed and network-based Processing","author":"M. Danelutto","year":"2005","unstructured":"Danelutto, M.: QoS in parallel programming through application managers. In: Proc. of Intl. Euromicro PDP: Parallel Distributed and network-based Processing, Lugano, Switzerland, pp. 282\u2013289. IEEE, Los Alamitos (2005)"},{"key":"69_CR2","series-title":"Lecture Notes in Computer Science","volume-title":"Computational Science \u2013 ICCS 2006","author":"M. Danelutto","year":"2006","unstructured":"Danelutto, M., Dazzi, P.: Joint structured\/non structured parallelism exploitation through data flow. In: Alexandrov, V.N., van Albada, G.D., Sloot, P.M.A., Dongarra, J.J. (eds.) ICCS 2006. LNCS, vol.\u00a03994, Springer, Heidelberg (2006)"},{"key":"69_CR3","first-page":"460","volume-title":"Proc. of Intl. PARCO 99: Parallel Computing. Parallel Computing Fundamentals & Applications","author":"M. Danelutto","year":"1999","unstructured":"Danelutto, M.: Dynamic run time support for skeletons. In: Proc. of Intl. PARCO 99: Parallel Computing. Parallel Computing Fundamentals & Applications, pp. 460\u2013467. Imperial College Press, London, UK (EU) (1999)"},{"key":"69_CR4","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1109\/MC.2003.1160055","volume":"36","author":"J.O. Kephart","year":"2003","unstructured":"Kephart, J.O., Chess, D.M.: The vision of autonomic computing. IEEE Computer\u00a036, 41\u201350 (2003)","journal-title":"IEEE Computer"},{"key":"69_CR5","doi-asserted-by":"crossref","unstructured":"White, S., Hanson, J., Whalley, I., Chess, D., Kephart, J.: An architectural approach to autonomic computing. In: Proc. of the Intl. Conference on Autonomic Computing, pp. 2\u20139 (2004)","DOI":"10.1109\/ICAC.2004.1301340"},{"key":"69_CR6","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/s10586-006-7561-5","volume":"9","author":"M. Parashar","year":"2006","unstructured":"Parashar, M., Liu, H., Li, Z., Matossian, V., Schmidt, C., Zhang, G., Hariri, S.: AutoMate: Enabling autonomic applications on the Grid. Cluster Computing\u00a09, 161\u2013174 (2006)","journal-title":"Cluster Computing"},{"key":"69_CR7","doi-asserted-by":"crossref","unstructured":"Kennedy, K., et al.: Toward a framework for preparing and executing adaptive Grid programs. In: Proc. of NSF Next Generation Systems Program Workshop (IPDPS 2002) (2002)","DOI":"10.1109\/IPDPS.2002.1016570"},{"key":"69_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"278","DOI":"10.1007\/11946441_29","volume-title":"Parallel and Distributed Processing and Applications","author":"A. Stewart","year":"2006","unstructured":"Stewart, A., Gabarr\u00f3, J., Clint, M., Harmer, T.J., Kilpatrick, P., Perrott, R.: Managing grid computations: An orc-based approach. In: Guo, M., Yang, L.T., Di Martino, B., Zima, H.P., Dongarra, J., Tang, F. (eds.) ISPA 2006. LNCS, vol.\u00a04330, pp. 278\u2013291. Springer, Heidelberg (2006)"},{"key":"69_CR9","doi-asserted-by":"crossref","unstructured":"Misra, J., Cook, W.R.: Computation orchestration: A basis for a wide-area computing. Software and Systems Modeling (2006), doi: 10.1007\/s10270-006-0012-1","DOI":"10.1007\/s10270-006-0012-1"},{"key":"69_CR10","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1016\/j.cl.2006.07.004","volume":"33","author":"M. Aldinucci","year":"2007","unstructured":"Aldinucci, M., Danelutto, M.: Skeleton based parallel programming: functional and parallel semantic in a single shot. Computer Languages, Systems and Structures\u00a033, 179\u2013192 (2007)","journal-title":"Computer Languages, Systems and Structures"},{"key":"69_CR11","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":"69_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"168","DOI":"10.1007\/3-540-48257-1_10","volume-title":"Applied Formal Methods - FM-Trends 98","author":"S. Agerholm","year":"1999","unstructured":"Agerholm, S., Larsen, P.G.: A lightweight approach to formal methods. In: Hutter, D., Traverso, P. (eds.) Applied Formal Methods - FM-Trends 98. LNCS, vol.\u00a01641, pp. 168\u2013183. Springer, Heidelberg (1999)"},{"key":"69_CR13","doi-asserted-by":"publisher","first-page":"389","DOI":"10.1016\/j.parco.2003.12.002","volume":"30","author":"M. Cole","year":"2004","unstructured":"Cole, M.: Bringing skeletons out of the closet: A pragmatic manifesto for skeletal parallel programming. Parallel Computing\u00a030, 389\u2013406 (2004)","journal-title":"Parallel Computing"},{"key":"69_CR14","unstructured":"Kuchen, H.: The Muesli home page (2006), http:\/\/www.wi.uni-muenster.de\/PI\/forschung\/Skeletons\/"},{"key":"69_CR15","unstructured":"Stewart, A., Gabarr\u00f3, J., Clint, M., Harmer, T.J., Kilpatrick, P., Perrott, R.: Estimating the reliability of web and grid orchestrations. In: Integrated Reserach in Grid Computing, Krak\u00f3w, Poland, CoreGRID, Academic Computer Centre CYFRONET AGH, pp. 141\u2013152 (2006)"},{"key":"69_CR16","volume-title":"Grid and Peer-To-Peer Technologies (Proc. of the CoreGRID Symposium 2007)","author":"M. Aldinucci","year":"2007","unstructured":"Aldinucci, M., Danelutto, M., Kilpatrick, P.: Adding metadata to Orc to support reasoning about grid programs. In: Priol, T., Vanneschi, M. (eds.) Grid and Peer-To-Peer Technologies (Proc. of the CoreGRID Symposium 2007), Springer, Heidelberg (2007)"},{"key":"69_CR17","unstructured":"Kilpatrick, P., Danelutto, M., Aldinucci, M.: Deriving Grid Applications from Abstract Models. Technical Report TR-85, CoreGRID (2007), available at http:\/\/www.coregrid.net"}],"container-title":["Lecture Notes in Computer Science","Euro-Par 2007 Parallel Processing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-74466-5_69","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T17:38:02Z","timestamp":1737394682000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-74466-5_69"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540744658","9783540744665"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-74466-5_69","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]},"assertion":[{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}