{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:17:28Z","timestamp":1742912248043,"version":"3.40.3"},"publisher-location":"Cham","reference-count":16,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319268491"},{"type":"electronic","value":"9783319268507"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-26850-7_26","type":"book-chapter","created":{"date-parts":[[2016,2,20]],"date-time":"2016-02-20T04:14:46Z","timestamp":1455941686000},"page":"382-396","source":"Crossref","is-referenced-by-count":0,"title":["Tracking Causal Dependencies in Web Services Orchestrations Defined in ORC"],"prefix":"10.1007","author":[{"given":"Matthieu","family":"Perrin","sequence":"first","affiliation":[]},{"given":"Claude","family":"Jard","sequence":"additional","affiliation":[]},{"given":"Achour","family":"Most\u00e9faoui","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,3,23]]},"reference":[{"key":"26_CR1","unstructured":"Andrews, T., Curbera, F., Dholakia, H., Goland, Y., Klein, J., Leymann, F., Liu, K., Roller, D., Smith, D., Thatte, S., Trickovic, I., Weerawarana, S.: Business Process Execution Language for Web Services. Version 1.1, 5 May 2003. \n                    http:\/\/download.boulder.ibm.com\/ibmdl\/pub\/software\/dw\/specs\/ws-bpel\/ws-bpel.pdf"},{"key":"26_CR2","unstructured":"Kitchin, D., Quark, A., Cook, W., Misra, J.: ORC language. \n                    http:\/\/orc.csres.utexas.edu"},{"key":"26_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-02138-1_1","volume-title":"Formal Techniques for Distributed Systems","author":"D Kitchin","year":"2009","unstructured":"Kitchin, D., Quark, A., Cook, W., Misra, J.: The orc programming language. In: Lee, D., Lopes, A., Poetzsch-Heffter, A. (eds.) FMOODS 2009. LNCS, vol. 5522, pp. 1\u201325. Springer, Heidelberg (2009)"},{"key":"26_CR4","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":"DE Kitchin","year":"2006","unstructured":"Kitchin, D.E., Cook, W.R., Misra, J.: A language for task orchestration and its semantic properties. In: Baier, C., Hermanns, H. (eds.) CONCUR 2006. LNCS, vol. 4137, pp. 477\u2013491. Springer, Heidelberg (2006)"},{"key":"26_CR5","doi-asserted-by":"crossref","unstructured":"Rosario, S., Benveniste, A., Haar, S., Jard, C.: Foundations for web services orchestrations: functional and QoS aspects. In: ISOLA 2006, 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, Cyprus, 15\u201319 November 2006 (2006)","DOI":"10.1109\/ISoLA.2006.8"},{"key":"26_CR6","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.jlap.2004.03.009","volume":"60\u201361","author":"GD Plotkin","year":"2004","unstructured":"Plotkin, G.D.: The origins of structural operational semantics. J. Log. Algebr. Program. 60\u201361, 3\u201315 (2004)","journal-title":"J. Log. Algebr. Program."},{"issue":"7","key":"26_CR7","doi-asserted-by":"publisher","first-page":"558","DOI":"10.1145\/359545.359563","volume":"21","author":"L Lamport","year":"1978","unstructured":"Lamport, L.: Time, clocks, and the ordering of events in a distributed system. Commun. ACM 21(7), 558\u2013565 (1978)","journal-title":"Commun. ACM"},{"key":"26_CR8","unstructured":"Fidge, C.J.: Timestamps in message-passing systems that preserve the partial ordering. In: Proceedings of the 11th Australian Computer Science Conference (ACSC 1988), pp. 56\u201366, February 1988"},{"key":"26_CR9","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1002\/cpe.1066","volume":"19","author":"G Ro\u015fu","year":"2007","unstructured":"Ro\u015fu, G., Sen, K.: An instrumentation technique for online analysis of multithreaded programs. Concurrency Comput. Pract. Experience 19, 311\u2013325 (2007). Wiley Online Library","journal-title":"Concurrency Comput. Pract. Experience"},{"key":"26_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"370","DOI":"10.1007\/978-3-642-54804-8_26","volume-title":"Fundamental Approaches to Software Engineering","author":"E Giachino","year":"2014","unstructured":"Giachino, E., Lanese, I., Mezzina, C.A.: Causal-consistent reversible debugging. In: Gnesi, S., Rensink, A. (eds.) FASE 2014 (ETAPS). LNCS, vol. 8411, pp. 370\u2013384. Springer, Heidelberg (2014)"},{"issue":"5","key":"26_CR11","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1007\/s002360050124","volume":"35","author":"M Boreale","year":"1998","unstructured":"Boreale, M., Sangiorgi, D.: A fully abstract semantics for causality in the \n                    \n                      \n                    \n                    $$\\pi $$\n                    \n                      \n                        \u03c0\n                      \n                    \n                  -calculus. Acta Informaticae 35(5), 353\u2013400 (1998)","journal-title":"Acta Informaticae"},{"key":"26_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"154","DOI":"10.1007\/978-3-540-79230-7_11","volume-title":"Web Services and Formal Methods","author":"S Rosario","year":"2008","unstructured":"Rosario, S., Kitchin, D.E., Benveniste, A., Cook, W., Haar, S., Jard, C.: Event Structure semantics of orc. In: Dumas, M., Heckel, R. (eds.) WS-FM 2007. LNCS, vol. 4937, pp. 154\u2013168. Springer, Heidelberg (2008)"},{"key":"26_CR13","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., 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. 4184, pp. 123\u2013137. Springer, Heidelberg (2006)"},{"issue":"1","key":"26_CR14","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.: Computation orchestration: a basis for wide-area computing. J. Softw. Syst. Model. 6(1), 83\u2013110 (2007)","journal-title":"J. Softw. Syst. Model."},{"key":"26_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1007\/3-540-17906-2_31","volume-title":"Advances in Petri Nets","author":"G Winskel","year":"1987","unstructured":"Winskel, G.: Event structures. In: Brauer, W., Reisig, W., Rozenberg, G. (eds.) Advances in Petri Nets 1986, Part II. LNCS, vol. 255, pp. 325\u2013392. Springer, Heidelberg (1987)"},{"key":"26_CR16","unstructured":"Perrin, M., Jard, C., Most\u00e9faoui, A.: Building a concurrent operational semantics for the ORC language. Technical report, LINA, Universit\u00e9 de Nantes (2014). \n                    https:\/\/hal.archives-ouvertes.fr\/hal-01101340v2"}],"container-title":["Lecture Notes in Computer Science","Networked Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-26850-7_26","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T11:03:25Z","timestamp":1559387005000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-26850-7_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319268491","9783319268507"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-26850-7_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}