{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T12:33:31Z","timestamp":1742387611784,"version":"3.37.3"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540373766"},{"type":"electronic","value":"9783540373773"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11817949_32","type":"book-chapter","created":{"date-parts":[[2006,8,2]],"date-time":"2006-08-02T19:59:29Z","timestamp":1154548769000},"page":"477-491","source":"Crossref","is-referenced-by-count":40,"title":["A Language for Task Orchestration and Its Semantic Properties"],"prefix":"10.1007","author":[{"given":"David","family":"Kitchin","sequence":"first","affiliation":[]},{"given":"William R.","family":"Cook","sequence":"additional","affiliation":[]},{"given":"Jayadev","family":"Misra","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"1","key":"32_CR1","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1023\/A:1022883727209","volume":"14","author":"W.M.P.V.D. Aalst","year":"2003","unstructured":"Aalst, W.M.P.V.D., Hofstede, A.H.M.T., Kiepuszewski, B., Barros, A.P.: Workflow patterns. Distrib. Parallel Databases\u00a014(1), 5\u201351 (2003)","journal-title":"Distrib. Parallel Databases"},{"key":"32_CR2","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), Available for download at: http:\/\/dx.doi.org\/10.1007\/s10270-006-0012-1","DOI":"10.1007\/s10270-006-0012-1"},{"key":"32_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1007\/11767954_6","volume-title":"Coordination Models and Languages","author":"W.R. Cook","year":"2006","unstructured":"Cook, W.R., Patwardhan, S., Misra, J.: Workflow patterns in Orc. In: Ciancarini, P., Wiklicky, H. (eds.) COORDINATION 2006. LNCS, vol.\u00a04038, pp. 82\u201396. Springer, Heidelberg (2006)"},{"key":"32_CR4","unstructured":"Rosario, S., Benveniste, A., Haar, S., Jard, C.: SLA for web services orchestrations (unpublished, manuscript 2006)"},{"key":"32_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1007\/BFb0029594","volume-title":"Mathematical Foundations of Computer Science 1990","author":"D. Kozen","year":"1990","unstructured":"Kozen, D.: On Kleene algebras and closed semirings. In: Rovan, B. (ed.) MFCS 1990. LNCS, vol.\u00a0452, pp. 26\u201347. Springer, Heidelberg (1990)"},{"key":"32_CR6","series-title":"International Series in Computer Science (C.A.R. Hoare, series editor)","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. International Series in Computer Science (C.A.R. Hoare, series editor). Prentice-Hall, Englewood Cliffs (1989)"},{"key":"32_CR7","unstructured":"Kitchin, D., Cook, W.R., Misra, J.: Semantic properties of asynchronous Orc. Technical Report TR-06-32, University of Texas at Austin, Department of Computer Sciences (2006)"},{"key":"32_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"296","DOI":"10.1007\/3-540-44919-1_20","volume-title":"Applications and Theory of Petri Nets 2003","author":"R. Eshuis","year":"2003","unstructured":"Eshuis, R., Dehnert, J.: Reactive Petri Nets for Workflow Modeling. In: van der Aalst, W.M.P., Best, E. (eds.) ICATPN 2003. LNCS, vol.\u00a02679, pp. 296\u2013315. Springer, Heidelberg (2003)"},{"key":"32_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1007\/11538394_11","volume-title":"Business Process Management","author":"F. Puhlmann","year":"2005","unstructured":"Puhlmann, F., Weske, M.: Using the \u03c0-Calculus for Formalizing Workflow Patterns. In: van der Aalst, W.M.P., Benatallah, B., Casati, F., Curbera, F. (eds.) BPM 2005. LNCS, vol.\u00a03649, pp. 153\u2013168. Springer, Heidelberg (2005)"},{"key":"32_CR10","doi-asserted-by":"crossref","unstructured":"van Glabbeek, R.: On specifying timeouts. In: Workshop on Algebraic Process Calculi: The First Twenty Five Years and Beyond. Electronic Notes in Theoretical Computer Science (to appear, 2005)","DOI":"10.1016\/j.entcs.2005.12.083"},{"key":"32_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1007\/978-3-540-25975-6_12","volume-title":"Advanced Information Systems Engineering","author":"W.M.P. Aalst van der","year":"2004","unstructured":"van der Aalst, W.M.P., Aldred, L., Dumas, M., ter Hofstede, A.H.M.: Design and implementation of the YAWL system. In: Persson, A., Stirna, J. (eds.) CAiSE 2004. LNCS, vol.\u00a03084, pp. 142\u2013159. Springer, Heidelberg (2004)"},{"key":"32_CR12","doi-asserted-by":"crossref","unstructured":"Hoare, C.: Communicating Sequential Processes. Prentice Hall International, Englewood Cliffs (1984)","DOI":"10.1007\/978-3-662-09507-2_19"},{"key":"32_CR13","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)"},{"issue":"1\u20132","key":"32_CR14","doi-asserted-by":"publisher","first-page":"693","DOI":"10.1016\/S0304-3975(00)00326-1","volume":"266","author":"J. Riely","year":"2001","unstructured":"Riely, J., Hennessy, M.: Distributed processes and location failures. Theoretical Computer Science\u00a0266(1\u20132), 693\u2013735 (2001)","journal-title":"Theoretical Computer Science"}],"container-title":["Lecture Notes in Computer Science","CONCUR 2006 \u2013 Concurrency Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11817949_32.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:15:51Z","timestamp":1605644151000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11817949_32"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540373766","9783540373773"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/11817949_32","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}