{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T00:40:11Z","timestamp":1742949611151,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642298332"},{"type":"electronic","value":"9783642298349"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-29834-9_5","type":"book-chapter","created":{"date-parts":[[2012,4,18]],"date-time":"2012-04-18T05:48:22Z","timestamp":1334728102000},"page":"48-63","source":"Crossref","is-referenced-by-count":7,"title":["Time and Exceptional Behavior in Multiparty Structured Interactions"],"prefix":"10.1007","author":[{"given":"Hugo A.","family":"L\u00f3pez","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jorge A.","family":"P\u00e9rez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_CR1","doi-asserted-by":"crossref","unstructured":"Berger, M., Honda, K.: The two-phase commitment protocol in an extended pi-calculus. Electr. Notes Theor. Comput. Sci.\u00a039(1) (2000)","DOI":"10.1016\/S1571-0661(05)82502-2"},{"key":"5_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"158","DOI":"10.1007\/978-3-540-76637-7_11","volume-title":"Programming Languages and Systems","author":"M. Berger","year":"2007","unstructured":"Berger, M., Yoshida, N.: Timed, Distributed, Probabilistic, Typed Processes. In: Shao, Z. (ed.) APLAS 2007. LNCS, vol.\u00a04807, pp. 158\u2013174. Springer, Heidelberg (2007)"},{"issue":"3","key":"5_CR3","doi-asserted-by":"publisher","first-page":"565","DOI":"10.1017\/S0960129509007683","volume":"19","author":"M. Bravetti","year":"2009","unstructured":"Bravetti, M., Zavattaro, G.: On the expressive power of process interruption and compensation. Mathematical Structures in Computer Science\u00a019(3), 565\u2013599 (2009)","journal-title":"Mathematical Structures in Computer Science"},{"key":"5_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1007\/978-3-642-00945-7_6","volume-title":"Trustworthy Global Computing","author":"L. Caires","year":"2009","unstructured":"Caires, L., Ferreira, C., Vieira, H.: A Process Calculus Analysis of Compensations. In: Kaklamanis, C., Nielson, F. (eds.) TGC 2008. LNCS, vol.\u00a05474, pp. 87\u2013103. Springer, Heidelberg (2009)"},{"issue":"51-52","key":"5_CR5","doi-asserted-by":"publisher","first-page":"4399","DOI":"10.1016\/j.tcs.2010.09.010","volume":"411","author":"L. Caires","year":"2010","unstructured":"Caires, L., Vieira, H.T.: Conversation types. Theor. Comput. Sci.\u00a0411(51-52), 4399\u20134440 (2010)","journal-title":"Theor. Comput. Sci."},{"key":"5_CR6","unstructured":"Campadello, S., Compagna, L., Gidoin, D., Holtmanns, S., Meduri, V., Pazzaglia, J., Seguran, M., Thomas, R.: Scenario Selection and Definition. Research report A7.D1.1, SERENITY consortium (2006)"},{"key":"5_CR7","unstructured":"Capecchi, S., Giachino, E., Yoshida, N.: Global Escape in Multiparty Sessions. In: Lodaya, K., Mahajan, M. (eds.) FSTTCS 2010. LIPIcs, vol.\u00a08, pp. 338\u2013351. Schloss Dagstuhl\u2013Leibniz-Zentrum fuer Informatik, Dagstuhl (2010)"},{"key":"5_CR8","doi-asserted-by":"crossref","unstructured":"Carbone, M.: Session-based choreography with exceptions. In: PLACES 2008. ENTCS, vol.\u00a0241, pp. 35\u201355 (2008)","DOI":"10.1016\/j.entcs.2009.06.003"},{"key":"5_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1007\/978-3-540-71316-6_2","volume-title":"Programming Languages and Systems","author":"M. Carbone","year":"2007","unstructured":"Carbone, M., Honda, K., Yoshida, N.: Structured Communication-Centred Programming for Web Services. In: De Nicola, R. (ed.) ESOP 2007. LNCS, vol.\u00a04421, pp. 2\u201317. Springer, Heidelberg (2007)"},{"key":"5_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"402","DOI":"10.1007\/978-3-540-85361-9_32","volume-title":"CONCUR 2008 - Concurrency Theory","author":"M. Carbone","year":"2008","unstructured":"Carbone, M., Honda, K., Yoshida, N.: Structured Interactional Exceptions in Session Types. In: van Breugel, F., Chechik, M. (eds.) CONCUR 2008. LNCS, vol.\u00a05201, pp. 402\u2013417. Springer, Heidelberg (2008)"},{"key":"5_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"302","DOI":"10.1007\/978-3-642-20401-2_14","volume-title":"Rigorous Software Engineering for Service-Oriented Systems","author":"C. Ferreira","year":"2011","unstructured":"Ferreira, C., Lanese, I., Ravara, A., Vieira, H.T., Zavattaro, G.: Advanced Mechanisms for Service Combination and Transactions. In: Wirsing, M., H\u00f6lzl, M. (eds.) SENSORIA. LNCS, vol.\u00a06582, pp. 302\u2013325. Springer, Heidelberg (2011)"},{"key":"5_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1007\/BFb0053567","volume-title":"Programming Languages and Systems","author":"K. Honda","year":"1998","unstructured":"Honda, K., Vasconcelos, V.T., Kubo, M.: Language Primitives and Type Discipline for Structured Communication-Based Programming. In: Hankin, C. (ed.) ESOP 1998. LNCS, vol.\u00a01381, pp. 122\u2013138. Springer, Heidelberg (1998)"},{"key":"5_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"366","DOI":"10.1007\/978-3-642-11957-6_20","volume-title":"Programming Languages and Systems","author":"I. Lanese","year":"2010","unstructured":"Lanese, I., Vaz, C., Ferreira, C.: On the Expressive Power of Primitives for Compensation Handling. In: Gordon, A.D. (ed.) ESOP 2010. LNCS, vol.\u00a06012, pp. 366\u2013386. Springer, Heidelberg (2010)"},{"key":"5_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"282","DOI":"10.1007\/978-3-540-31982-5_18","volume-title":"Foundations of Software Science and Computational Structures","author":"C. Laneve","year":"2005","unstructured":"Laneve, C., Zavattaro, G.: Foundations of Web Transactions. In: Sassone, V. (ed.) FOSSACS 2005. LNCS, vol.\u00a03441, pp. 282\u2013298. Springer, Heidelberg (2005)"},{"key":"5_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/978-3-540-71316-6_4","volume-title":"Programming Languages and Systems","author":"A. Lapadula","year":"2007","unstructured":"Lapadula, A., Pugliese, R., Tiezzi, F.: A Calculus for Orchestration of Web Services. In: De Nicola, R. (ed.) ESOP 2007. LNCS, vol.\u00a04421, pp. 33\u201347. Springer, Heidelberg (2007)"},{"key":"5_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1007\/978-3-540-75292-9_19","volume-title":"Theoretical Aspects of Computing \u2013 ICTAC 2007","author":"A. Lapadula","year":"2007","unstructured":"Lapadula, A., Pugliese, R., Tiezzi, F.: C-clock-WS: A Timed Service-Oriented Calculus. In: Jones, C.B., Liu, Z., Woodcock, J. (eds.) ICTAC 2007. LNCS, vol.\u00a04711, pp. 275\u2013290. Springer, Heidelberg (2007)"},{"key":"5_CR17","unstructured":"L\u00f3pez, H.A.: Foundations of Communication-Centred Programming. PhD thesis, IT University of Copenhagen (2012)"},{"key":"5_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"212","DOI":"10.1007\/978-3-540-93851-4_21","volume-title":"Service-Oriented Computing - ICSOC 2007 Workshops","author":"H.A. L\u00f3pez","year":"2009","unstructured":"L\u00f3pez, H.A., Massacci, F., Zannone, N.: Goal-Equivalent Secure Business Process Re-engineering. In: Di Nitto, E., Ripeanu, M. (eds.) ICSOC 2007. LNCS, vol.\u00a04907, pp. 212\u2013223. Springer, Heidelberg (2009)"},{"key":"5_CR19","doi-asserted-by":"crossref","unstructured":"L\u00f3pez, H.A., Olarte, C., P\u00e9rez, J.A.: Towards a unified framework for declarative structured communications. In: PLACES. EPTCS, vol. 17, pp. 1\u201315 (2009)","DOI":"10.4204\/EPTCS.17.1"},{"key":"5_CR20","series-title":"LNBIP","doi-asserted-by":"publisher","first-page":"336","DOI":"10.1007\/978-3-642-00328-8_34","volume-title":"Business Process Management Workshops","author":"K.M. Lyng","year":"2009","unstructured":"Lyng, K.M., Hildebrandt, T., Mukkamala, R.R.: From Paper Based Clinical Practice Guidelines to Declarative Workflow Management. In: Ardagna, D., Mecella, M., Yang, J. (eds.) BPM Workshops. LNBIP, vol.\u00a017, pp. 336\u2013347. Springer, Heidelberg (2009)"},{"key":"5_CR21","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","volume":"100","author":"R. Milner","year":"1992","unstructured":"Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes, parts I and II. Journal of Information and Computation\u00a0100, 1\u201377 (1992)","journal-title":"Journal of Information and Computation"},{"issue":"2","key":"5_CR22","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1016\/j.resuscitation.2005.12.006","volume":"70","author":"J.C. Rittenberger","year":"2006","unstructured":"Rittenberger, J.C., Bost, J.E., Menegazzi, J.J.: Time to give the first medication during resuscitation in out-of-hospital cardiac arrest. Resuscitation\u00a070(2), 201\u2013206 (2006)","journal-title":"Resuscitation"},{"key":"5_CR23","unstructured":"Vieira, H.T.: A Calculus for Modeling and Analyzing Conversations in Service-Oriented Computing. PhD thesis, Universidade Nova de Lisboa (2010)"},{"key":"5_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1007\/978-3-540-78739-6_21","volume-title":"Programming Languages and Systems","author":"H.T. Vieira","year":"2008","unstructured":"Vieira, H.T., Caires, L., Seco, J.C.: The Conversation Calculus: A Model of Service-Oriented Computation. In: Gairing, M. (ed.) ESOP 2008. LNCS, vol.\u00a04960, pp. 269\u2013283. Springer, Heidelberg (2008)"},{"issue":"2-3","key":"5_CR25","doi-asserted-by":"publisher","first-page":"234","DOI":"10.1016\/j.tcs.2008.04.037","volume":"402","author":"I. Wehrman","year":"2008","unstructured":"Wehrman, I., Kitchin, D., Cook, W.R., Misra, J.: A timed semantics of orc. Theor. Comput. Sci.\u00a0402(2-3), 234\u2013248 (2008)","journal-title":"Theor. Comput. Sci."},{"key":"5_CR26","doi-asserted-by":"crossref","unstructured":"Xu, J., Romanovsky, A.B., Randell, B.: Coordinated exception handling in distributed object systems: From model to system implementation. In: ICDCS, pp. 12\u201321 (1998)","DOI":"10.1109\/ICDCS.1998.679465"},{"key":"5_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1007\/978-3-540-73196-2_6","volume-title":"Formal Techniques for Networked and Distributed Systems \u2013 FORTE 2007","author":"Y. Hongli","year":"2007","unstructured":"Hongli, Y., Xiangpeng, Z., Chao, C., Zongyan, Q.: Exploring the Connection of Choreography and Orchestration with Exception Handling and Finalization\/Compensation. In: Derrick, J., Vain, J. (eds.) FORTE 2007. LNCS, vol.\u00a04574, pp. 81\u201396. Springer, Heidelberg (2007)"}],"container-title":["Lecture Notes in Computer Science","Web Services and Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-29834-9_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T23:36:59Z","timestamp":1742945819000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-29834-9_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642298332","9783642298349"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-29834-9_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}