{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T09:43:24Z","timestamp":1725615804395},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642243714"},{"type":"electronic","value":"9783642243721"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-24372-1_19","type":"book-chapter","created":{"date-parts":[[2011,9,29]],"date-time":"2011-09-29T05:41:14Z","timestamp":1317274874000},"page":"259-274","source":"Crossref","is-referenced-by-count":2,"title":["Assembling Sessions"],"prefix":"10.1007","author":[{"given":"Philippe","family":"Darondeau","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lo\u00efc","family":"H\u00e9lou\u00ebt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Madhavan","family":"Mukund","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"19_CR1","doi-asserted-by":"crossref","unstructured":"Abiteboul, S., Benjelloun, O., Manolescu, I., Milo, T., Weber, R.: Active XML: A data-centric perspective on web services. In: BDA 2002 (2002)","DOI":"10.1016\/B978-155860869-6\/50115-3"},{"key":"19_CR2","doi-asserted-by":"crossref","unstructured":"Abiteboul, S., Segoufin, L., Vianu, V.: Static analysis of Active XML systems. In: PODS 2008, pp. 221\u2013230 (2008)","DOI":"10.1145\/1376916.1376948"},{"key":"19_CR3","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 (BPEL4WS). version 1.1 (2003)"},{"issue":"3","key":"19_CR4","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1002\/bltj.20395","volume":"14","author":"R.M. Arlein","year":"2009","unstructured":"Arlein, R.M., Dams, D., Hull, R.B., Letourneau, J.P., Namjoshi, K.S.: Telco meets the web: Programming shared-experience services. Bell Labs Technical Journal\u00a014(3), 167\u2013185 (2009)","journal-title":"Bell Labs Technical Journal"},{"key":"19_CR5","doi-asserted-by":"crossref","unstructured":"Darondeau, P., H\u00e9lou\u00ebt, L., Mukund, M.: Assembling sessions (long version). Technical report, Inria Rennes and Chennai Mathematical Institute (2011), http:\/\/www.irisa.fr\/distribcom\/DST09\/DHM-ATVA-Long.pdf","DOI":"10.1007\/978-3-642-24372-1_19"},{"key":"19_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1007\/BFb0055044","volume-title":"Automata, Languages and Programming","author":"C. Dufourd","year":"1998","unstructured":"Dufourd, C., Finkel, A., Schnoebelen, P.: Reset nets between decidability and undecidability. In: Larsen, K.G., Skyum, S., Winskel, G. (eds.) ICALP 1998. LNCS, vol.\u00a01443, pp. 103\u2013115. Springer, Heidelberg (1998)"},{"key":"19_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1007\/11538394_15","volume-title":"Business Process Management","author":"S. Hinz","year":"2005","unstructured":"Hinz, S., Schmidt, K., Stahl, C.: Transforming BPEL to petri nets. In: van der Aalst, W.M.P., Benatallah, B., Casati, F., Curbera, F. (eds.) BPM 2005. LNCS, vol.\u00a03649, pp. 220\u2013235. Springer, Heidelberg (2005)"},{"key":"19_CR8","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)"},{"issue":"1","key":"19_CR9","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. Software and Systems Modeling\u00a06(1), 83\u2013110 (2007)","journal-title":"Software and Systems Modeling"},{"issue":"1","key":"19_CR10","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1142\/S0218126698000043","volume":"8","author":"W.M.P. Aalst van der","year":"1998","unstructured":"van der Aalst, W.M.P.: The application of Petri nets to workflow management. The Journal of Circuits, Systems and Computers\u00a08(1), 21\u201366 (1998)","journal-title":"The Journal of Circuits, Systems and Computers"},{"key":"19_CR11","unstructured":"Verbeek, H.M.W., van der Aalst, W.M.P.: Analyzing BPEL processes using Petri nets. In: Second International Workshop on Applications of Petri Nets to Coordination, Workflow and Business Process Management, vol.\u00a08(1), pp. 59\u201378 (2005)"}],"container-title":["Lecture Notes in Computer Science","Automated Technology for Verification and Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-24372-1_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,16]],"date-time":"2019-06-16T14:28:18Z","timestamp":1560695298000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-24372-1_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642243714","9783642243721"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-24372-1_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}