{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T05:38:44Z","timestamp":1725514724139},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540682646"},{"type":"electronic","value":"9783540682653"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-68265-3_21","type":"book-chapter","created":{"date-parts":[[2008,6,4]],"date-time":"2008-06-04T11:35:39Z","timestamp":1212579339000},"page":"331-346","source":"Crossref","is-referenced-by-count":4,"title":["A Compositional Trace Semantics for Orc"],"prefix":"10.1007","author":[{"given":"Dimitrios","family":"Vardoulakis","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mitchell","family":"Wand","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"unstructured":"Alves, A., Arkin, A., et al.: Web Services Business Process Execution Language version 2.0. Technical report (April 2007), http:\/\/docs.oasis-open.org\/wsbpel\/2.0\/wsbpel-v2.0.pdf","key":"21_CR1"},{"key":"21_CR2","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1145\/1040305.1040323","volume-title":"Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","author":"R. Bruni","year":"2005","unstructured":"Bruni, R., Melgratti, H.C., Montanari, U.: Theoretical Foundations for Compensations in Flow Composition Languages. In: Palsberg, J., Abadi, M. (eds.) Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 209\u2013220. ACM, New York (2005)"},{"key":"21_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/3-540-40911-4_5","volume-title":"Integrated Formal Methods","author":"M.J. Butler","year":"2000","unstructured":"Butler, M.J., Ferreira, C.: A Process Compensation Language. In: Grieskamp, W., Santen, T., Stoddart, B. (eds.) IFM 2000. LNCS, vol.\u00a01945, pp. 61\u201376. Springer, Heidelberg (2000)"},{"key":"21_CR4","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":"21_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1007\/11423348_8","volume-title":"Communicating Sequential Processes. The First 25 Years","author":"M.J. Butler","year":"2005","unstructured":"Butler, M.J., Hoare, C.A.R., Ferreira, C.: A Trace Semantics for Long-Running Transactions. In: Abdallah, A.E., Jones, C.B., Sanders, J.W. (eds.) Communicating Sequential Processes. LNCS, vol.\u00a03525, pp. 133\u2013150. Springer, Heidelberg (2005)"},{"key":"21_CR6","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)"},{"unstructured":"Hoare, C.A.R., Menzel, G., Misra, J.: A Tree Semantics for an Orchestration Language, Lecture Notes for NATO summer school, Marktoberdorf (August 2004)","key":"21_CR7"},{"unstructured":"Kavantzas, N., Burdett, D., et al.: Web Services Choreography Description Language version 1.0. Technical report (November 2005), http:\/\/www.w3.org\/TR\/ws-cdl-10\/","key":"21_CR8"},{"key":"21_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"477","DOI":"10.1007\/11817949_32","volume-title":"CONCUR 2006 \u2013 Concurrency Theory","author":"D. Kitchin","year":"2006","unstructured":"Kitchin, D., Cook, W.R., Misra, J.: A Language for Task Orchestration and its Semantic Properties. In: Baier, C., Hermanns, H. (eds.) CONCUR 2006. LNCS, vol.\u00a04137, pp. 477\u2013491. Springer, Heidelberg (2006)"},{"doi-asserted-by":"crossref","unstructured":"Milner, R.: Operational and Algebraic Semantics of Concurrent Processes. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science. Formal Models and Semantics (B), vol.\u00a0B, pp. 1201\u20131242. MIT Press, Elsevier (1990)","key":"21_CR10","DOI":"10.1016\/B978-0-444-88074-1.50024-X"},{"issue":"1","key":"21_CR11","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/s10270-006-0012-1","volume":"6","author":"J. Misra","year":"2007","unstructured":"Misra, J., Cook, W.R.: Computation Orchestration: A Basis for Wide-Area Computing. Software and Systems Modeling\u00a06(1), 83\u2013110 (2007)","journal-title":"Software and Systems Modeling"},{"issue":"1","key":"21_CR12","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1023\/A:1022883727209","volume":"14","author":"W.M.P. Aalst van der","year":"2003","unstructured":"van der Aalst, W.M.P., ter Hofstede, A.H.M., Kiepuszewski, B., Barros, A.P.: Workflow Patterns. Distributed and Parallel Databases\u00a014(1), 5\u201351 (2003)","journal-title":"Distributed and Parallel Databases"},{"unstructured":"Vardoulakis, D., Wand, M.: A Compositional Trace Semantics for Orc. Technical report, Northeastern University, College of Computer and Information Science (March 2008), http:\/\/www.ccs.neu.edu\/~dimvar\/papers\/orc-coord.pdf","key":"21_CR13"},{"key":"21_CR14","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1016\/j.entcs.2004.05.008","volume":"105","author":"M. Viroli","year":"2004","unstructured":"Viroli, M.: Towards a Formal Foundation to Orchestration Languages. Electr. Notes Theor. Comput. Sci.\u00a0105, 51\u201371 (2004)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"unstructured":"Wehrman, I., Kitchin, D., Cook, W.R., Misra, J.: A Timed Semantics of Orc (unpublished)","key":"21_CR15"},{"key":"21_CR16","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/3054.001.0001","volume-title":"The Formal Semantics of Programming Languages","author":"G. Winskel","year":"1993","unstructured":"Winskel, G.: The Formal Semantics of Programming Languages. MIT Press, Cambridge (1993)"}],"container-title":["Lecture Notes in Computer Science","Coordination Models and Languages"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-68265-3_21.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,9,11]],"date-time":"2021-09-11T12:09:35Z","timestamp":1631362175000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-68265-3_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540682646","9783540682653"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-68265-3_21","relation":{},"subject":[]}}