{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T12:28:23Z","timestamp":1742387303412},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540792291"},{"type":"electronic","value":"9783540792307"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-79230-7_11","type":"book-chapter","created":{"date-parts":[[2008,4,12]],"date-time":"2008-04-12T02:53:23Z","timestamp":1207968803000},"page":"154-168","source":"Crossref","is-referenced-by-count":8,"title":["Event Structure Semantics of Orc"],"prefix":"10.1007","author":[{"given":"Sidney","family":"Rosario","sequence":"first","affiliation":[]},{"given":"David","family":"Kitchin","sequence":"additional","affiliation":[]},{"given":"Albert","family":"Benveniste","sequence":"additional","affiliation":[]},{"given":"William","family":"Cook","sequence":"additional","affiliation":[]},{"given":"Stefan","family":"Haar","sequence":"additional","affiliation":[]},{"given":"Claude","family":"Jard","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"1","key":"11_CR1","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. Distrib. Parallel Databases\u00a014(1), 5\u201351 (2003)","journal-title":"Distrib. Parallel Databases"},{"key":"11_CR2","doi-asserted-by":"crossref","unstructured":"Arias-Fisteus, J., Fern\u00e1ndez, L.S., Kloos, C.D.: Applying model checking to BPEL4WS business collaborations. In: SAC, pp. 826\u2013830 (2005)","DOI":"10.1145\/1066677.1066866"},{"issue":"1","key":"11_CR3","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1006\/inco.2001.3060","volume":"171","author":"P. Baldan","year":"2001","unstructured":"Baldan, P., Corradini, A., Montanari, U.: Contextual Petri nets, Asymmetric Event Structures, and Processes. Inf. Comput.\u00a0171(1), 1\u201349 (2001)","journal-title":"Inf. Comput."},{"issue":"1","key":"11_CR4","doi-asserted-by":"crossref","first-page":"44","DOI":"10.1016\/S0890-5401(02)93117-2","volume":"178","author":"E. Best","year":"2002","unstructured":"Best, E., Devillers, R.R., Koutny, M.: The Box Algebra = Petri Nets + Process Expressions. Inf. Comput.\u00a0178(1), 44\u2013100 (2002)","journal-title":"Inf. Comput."},{"issue":"1","key":"11_CR5","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1016\/S1389-1286(00)00149-3","volume":"35","author":"P. Bhoj","year":"2001","unstructured":"Bhoj, P., Singhal, S., Chutani, S.: SLA management in federated environments. Computer Networks\u00a035(1), 5\u201324 (2001)","journal-title":"Computer Networks"},{"key":"11_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1007\/11817949_20","volume-title":"CONCUR 2006 \u2013 Concurrency Theory","author":"R. Bruni","year":"2006","unstructured":"Bruni, R., Melgratti, H.C., Montanari, U.: Event structure semantics for nominal calculi. In: Baier, C., Hermanns, H. (eds.) CONCUR 2006. LNCS, vol.\u00a04137, pp. 295\u2013309. Springer, Heidelberg (2006)"},{"key":"11_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1007\/11841197_8","volume-title":"Web Services and Formal Methods","author":"R. Bruni","year":"2006","unstructured":"Bruni, R., Melgratti, H.C., Tuosto, E.: Translating Orc Features into Petri Nets and the Join Calculus. In: Bravetti, M., N\u00fa\u00f1ez, M., Zavattaro, G. (eds.) WS-FM 2006. LNCS, vol.\u00a04184, pp. 123\u2013137. Springer, Heidelberg (2006)"},{"key":"11_CR8","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":"11_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"226","DOI":"10.1007\/11901433_13","volume-title":"Formal Methods and Software Engineering","author":"J.S. Dong","year":"2006","unstructured":"Dong, J.S., Liu, Y., Sun, J., Zhang, X.: Verification of Computation Orchestration via Timed Automata. In: Liu, Z., He, J. (eds.) ICFEM 2006. LNCS, vol.\u00a04260, pp. 226\u2013245. Springer, Heidelberg (2006)"},{"issue":"3","key":"11_CR10","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1023\/A:1014746130920","volume":"20","author":"J. Esparza","year":"2002","unstructured":"Esparza, J., R\u00f6mer, S., Vogler, W.: An improvement of McMillan\u2019s Unfolding Algorithm. Formal Methods in System Design\u00a020(3), 285\u2013310 (2002)","journal-title":"Formal Methods in System Design"},{"key":"11_CR11","doi-asserted-by":"crossref","unstructured":"Keller, A., Ludwig, H.: The wsla framework: Specifying and monitoring service level agreements for web services. J. Network Syst. Manage\u00a011(1) (2003)","DOI":"10.1023\/A:1022445108617"},{"key":"11_CR12","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)"},{"key":"11_CR13","unstructured":"Ouyang, C., Verbeek, E., van der Aalst, W.M.P., Breutel, S.: Formal Semantics and Analysis of Control Flow in WS-BPEL. BPM Center Report BPM-05-15, BPMcenter.org (2005)"},{"key":"11_CR14","doi-asserted-by":"crossref","unstructured":"Puhlmann, F., Weske, M.: Using the pi-Calculus for Formalizing Workflow Patterns. In: Business Process Management, pp. 153\u2013168 (2005)","DOI":"10.1007\/11538394_11"},{"key":"11_CR15","doi-asserted-by":"crossref","unstructured":"Rosario, S., Benveniste, A., Haar, S., Jard, C.: Foundations for Web Services Orchestrations: functional and QoS aspects. In: Proceedings ISOLA (2006)","DOI":"10.1109\/ISoLA.2006.8"},{"key":"11_CR16","doi-asserted-by":"crossref","unstructured":"Rosario, S., Benveniste, A., Haar, S., Jard, C.: Probabilistic QoS and soft contracts for transaction based web services. In: ICWS, pp. 126\u2013133 (2007)","DOI":"10.1109\/ICWS.2007.144"},{"key":"11_CR17","unstructured":"Rosario, S., Kitchin, D., Benveniste, A., Cook, W., Haar, S., Jard, C.: Event Structure Semantics of Orc. IRISA Internal Report No 1853 (June 2007), available for download at: http:\/\/www.irisa.fr\/distribcom\/benveniste\/pub\/heaps4Orc2007.pdf"},{"key":"11_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"62","DOI":"10.1007\/3-540-63139-9_30","volume-title":"Application and Theory of Petri Nets 1997","author":"W.M.P. Aalst van der","year":"1997","unstructured":"van der Aalst, W.M.P., Basten, T.: Life-Cycle Inheritance: A Petri-Net-Based Approach. In: Az\u00e9ma, P., Balbo, G. (eds.) ICATPN 1997. LNCS, vol.\u00a01248, pp. 62\u201381. Springer, Heidelberg (1997)"},{"key":"11_CR19","doi-asserted-by":"crossref","unstructured":"Winskel, G.: Event Structures.. In: Advances in Petri Nets, pp. 325\u2013392 (1986)","DOI":"10.1007\/3-540-17906-2_31"}],"container-title":["Lecture Notes in Computer Science","Web Services and Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-79230-7_11.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,23]],"date-time":"2020-11-23T21:17:47Z","timestamp":1606166267000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-79230-7_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540792291","9783540792307"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-79230-7_11","relation":{},"subject":[]}}