{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T20:02:50Z","timestamp":1762459370917,"version":"3.40.3"},"publisher-location":"Cham","reference-count":36,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319395692"},{"type":"electronic","value":"9783319395708"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-39570-8_13","type":"book-chapter","created":{"date-parts":[[2016,5,24]],"date-time":"2016-05-24T05:04:10Z","timestamp":1464066250000},"page":"195-211","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":14,"title":["Enforcing Availability in Failure-Aware Communicating Systems"],"prefix":"10.1007","author":[{"given":"Hugo A.","family":"L\u00f3pez","sequence":"first","affiliation":[]},{"given":"Flemming","family":"Nielson","sequence":"additional","affiliation":[]},{"given":"Hanne Riis","family":"Nielson","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,5,24]]},"reference":[{"key":"13_CR1","unstructured":"Abdulla, P.A., Atig, M.F., Meyer, R., Salehi, M.S.: What\u2019s decidable about availability languages? In: Harsha, P., Ramalingam, G. (eds.) FSTTCS. LIPIcs, vol. 45, pp. 192\u2013205. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik (2015)"},{"key":"13_CR2","volume-title":"Principles of Cyber-Physical Systems","author":"R Alur","year":"2015","unstructured":"Alur, R.: Principles of Cyber-Physical Systems. MIT Press, Cambridge (2015)"},{"key":"13_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1007\/978-3-642-38592-6_5","volume-title":"Formal Techniques for Distributed Systems","author":"L Bocchi","year":"2013","unstructured":"Bocchi, L., Chen, T.-C., Demangeon, R., Honda, K., Yoshida, N.: Monitoring networks through multiparty session types. In: Beyer, D., Boreale, M. (eds.) FORTE 2013 and FMOODS 2013. LNCS, vol. 7892, pp. 50\u201365. Springer, Heidelberg (2013)"},{"key":"13_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1007\/978-3-642-15375-4_12","volume-title":"CONCUR 2010 - Concurrency Theory","author":"L Bocchi","year":"2010","unstructured":"Bocchi, L., Honda, K., Tuosto, E., Yoshida, N.: A theory of design-by-contract for distributed multiparty interactions. In: Gastin, P., Laroussinie, F. (eds.) CONCUR 2010. LNCS, vol. 6269, pp. 162\u2013176. Springer, Heidelberg (2010)"},{"key":"13_CR5","unstructured":"Bocchi, L., Lange, J., Yoshida, N.: Meeting deadlines together. In: Aceto, L., de Frutos-Escrig, D. (eds.) CONCUR, LIPIcs, vol. 42, pp. 283\u2013296. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik (2015)"},{"key":"13_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"419","DOI":"10.1007\/978-3-662-44584-6_29","volume-title":"CONCUR 2014 \u2013 Concurrency Theory","author":"L Bocchi","year":"2014","unstructured":"Bocchi, L., Yang, W., Yoshida, N.: Timed multiparty session types. In: Baldan, P., Gorla, D. (eds.) CONCUR 2014. LNCS, vol. 8704, pp. 419\u2013434. Springer, Heidelberg (2014)"},{"key":"13_CR7","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1016\/j.entcs.2009.06.003","volume":"241","author":"M Carbone","year":"2009","unstructured":"Carbone, M.: Session-based choreography with exceptions. Electron. Notes Theor. Comput. Sci. 241, 35\u201355 (2009)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"13_CR8","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. 5201, pp. 402\u2013417. Springer, Heidelberg (2008)"},{"issue":"2","key":"13_CR9","doi-asserted-by":"publisher","first-page":"8","DOI":"10.1145\/2220365.2220367","volume":"34","author":"M Carbone","year":"2012","unstructured":"Carbone, M., Honda, K., Yoshida, N.: Structured communication-centered programming for web services. ACM Trans. Program. Lang. Syst. 34(2), 8 (2012)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"13_CR10","doi-asserted-by":"crossref","unstructured":"Carbone, M., Honda, K., Yoshida, N., Milner, R., Brown, G., Ross-Talbot, S.: A theoretical basis of communication-centred concurrent programming. In: Web Services Choreography Working Group mailing list, WS-CDL working report (2006, to appear)","DOI":"10.1007\/978-3-540-71316-6_2"},{"key":"13_CR11","unstructured":"Carbone, M., Montesi, F.: Chor: a choreography programming language for concurrent systems. \n                    http:\/\/sourceforge.net\/projects\/chor\/"},{"key":"13_CR12","doi-asserted-by":"crossref","unstructured":"Carbone, M., Montesi, F.: Deadlock-freedom-by-design: multiparty asynchronous global programming. In: Giacobazzi, R., Cousot, R. (eds.) POPL, pp. 263\u2013274. ACM (2013)","DOI":"10.1145\/2480359.2429101"},{"issue":"1","key":"13_CR13","doi-asserted-by":"publisher","first-page":"1","DOI":"10.2168\/LMCS-8(1:24)2012","volume":"8","author":"G Castagna","year":"2012","unstructured":"Castagna, G., Dezani-Ciancaglini, M., Padovani, L.: On global types and multi-party session. Logical Methods Comput. Sci. 8(1), 1\u201345 (2012)","journal-title":"Logical Methods Comput. Sci."},{"key":"13_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/978-3-642-38493-6_3","volume-title":"Coordination Models and Languages","author":"T Cogumbreiro","year":"2013","unstructured":"Cogumbreiro, T., Martins, F., Thudichum Vasconcelos, V.: Coordinating phased activities while maintaining progress. In: De Nicola, R., Julien, C. (eds.) COORDINATION 2013. LNCS, vol. 7890, pp. 31\u201344. Springer, Heidelberg (2013)"},{"issue":"14","key":"13_CR15","doi-asserted-by":"publisher","first-page":"1631","DOI":"10.1016\/j.comcom.2005.02.019","volume":"28","author":"J Deng","year":"2005","unstructured":"Deng, J., Han, Y.S., Heinzelman, W.B., Varshney, P.K.: Balanced-energy sleep scheduling scheme for high-density cluster-based sensor networks. Comput. Commun. 28(14), 1631\u20131642 (2005)","journal-title":"Comput. Commun."},{"key":"13_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1007\/978-3-642-28869-2_10","volume-title":"Programming Languages and Systems","author":"P-M Deni\u00e9lou","year":"2012","unstructured":"Deni\u00e9lou, P.-M., Yoshida, N.: Multiparty session types meet communicating automata. In: Seidl, H. (ed.) ESOP 2012. LNCS, vol. 7211, pp. 194\u2013213. Springer, Heidelberg (2012)"},{"key":"13_CR17","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"J-Y Girard","year":"1987","unstructured":"Girard, J.-Y.: Linear logic. Theor. Comput. Sci. 50, 1\u2013102 (1987)","journal-title":"Theor. Comput. Sci."},{"key":"13_CR18","unstructured":"Harper, R.: Programming in Standard ML. Working Draft (2013)"},{"issue":"4","key":"13_CR19","doi-asserted-by":"publisher","first-page":"660","DOI":"10.1109\/TWC.2002.804190","volume":"1","author":"WB Heinzelman","year":"2002","unstructured":"Heinzelman, W.B., Chandrakasan, A.P., Balakrishnan, H.: An application-specific protocol architecture for wireless microsensor networks. IEEE Trans. Wireless Commun. 1(4), 660\u2013670 (2002)","journal-title":"IEEE Trans. Wireless Commun."},{"key":"13_CR20","doi-asserted-by":"crossref","unstructured":"Heinzelman, W.R., Kulik, J., Balakrishnan, H.: Adaptive protocols for information dissemination in wireless sensor networks. In MOBICOM, pp. 174\u2013185. ACM (1999)","DOI":"10.1145\/313451.313529"},{"issue":"1","key":"13_CR21","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1145\/357980.358001","volume":"26","author":"CAR Hoare","year":"1983","unstructured":"Hoare, C.A.R.: An axiomatic basis for computer programming (reprint). Commun. ACM 26(1), 53\u201356 (1983)","journal-title":"Commun. ACM"},{"key":"13_CR22","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. 1381, pp. 122\u2013138. Springer, Heidelberg (1998)"},{"key":"13_CR23","unstructured":"H\u00fcttel, H., Pratas, N.: Broadcast and aggregation in BBC. In: Gay, S., Alglave, J. (eds.) PLACES, EPTCS, pp. 51\u201362 (2015)"},{"key":"13_CR24","doi-asserted-by":"crossref","unstructured":"Intanagonwiwat, C., Govindan, R., Estrin, D.: Directed diffusion: a scalable and robust communication paradigm for sensor networks. In: Pickholtz, R.L., Das, S.K., C\u00e1ceres, R., Garcia-Luna-Aceves, J.J. (eds.) MOBICOM, pp. 56\u201367. ACM (2000)","DOI":"10.1145\/345910.345920"},{"key":"13_CR25","doi-asserted-by":"crossref","first-page":"25","DOI":"10.4204\/EPTCS.155.4","volume":"155","author":"Dimitrios Kouzapas","year":"2014","unstructured":"Kouzapas, D., Gutkovas, R., Gay, S.J.: Session types for broadcasting. In: Donaldson, A.F., Vasconcelos, V.T. (eds.) PLACES, EPTCS, vol. 155, pp. 25\u201331 (2014)","journal-title":"Electronic Proceedings in Theoretical Computer Science"},{"key":"13_CR26","doi-asserted-by":"crossref","unstructured":"Lincoln, P.: Deciding provability of linear logic formulas. In: Advances in Linear Logic, pp. 109\u2013122. Cambridge University Press (1994)","DOI":"10.1017\/CBO9780511629150.006"},{"issue":"10","key":"13_CR27","doi-asserted-by":"crossref","first-page":"280","DOI":"10.1145\/2858965.2814302","volume":"50","author":"Hugo A. L\u00f3pez","year":"2015","unstructured":"L\u00f3pez, H.A., Marques, E.R.B., Martins, F., Ng, N., Santos, C., Vasconcelos, V.T., Yoshida, N.: Protocol-based verification of message-passing parallel programs. In: Aldrich, J., Eugster, P. (eds.) OOPSLA, pp. 280\u2013298. ACM (2015)","journal-title":"ACM SIGPLAN Notices"},{"key":"13_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1007\/978-3-642-29834-9_5","volume-title":"Web Services and Formal Methods","author":"HA L\u00f3pez","year":"2012","unstructured":"L\u00f3pez, H.A., P\u00e9rez, J.A.: Time and exceptional behavior in multiparty structured interactions. In: Carbone, M., Petit, J.-M. (eds.) WS-FM 2011. LNCS, vol. 7176, pp. 48\u201363. Springer, Heidelberg (2012)"},{"key":"13_CR29","doi-asserted-by":"crossref","unstructured":"Madden, S., Franklin, M.J., Hellerstein, J.M., Hong, W.: TAG: A tiny aggregation service for ad-hoc sensor networks. In: Culler, D.E., Druschel, P. (eds.) OSDI. USENIX Association (2002)","DOI":"10.1145\/1060289.1060303"},{"key":"13_CR30","doi-asserted-by":"crossref","unstructured":"Madden, S., Franklin, M.J., Hellerstein, J.M., Hong, W.: The design of an acquisitional query processor for sensor networks. In: Halevy, A.Y., Ives, Z.G., Doan, A. (eds.) SIGMOD Conference, pp. 491\u2013502. ACM (2003)","DOI":"10.1145\/872757.872817"},{"key":"13_CR31","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1007\/978-1-4614-7518-7_4","volume-title":"Web Services Foundations","author":"F Montesi","year":"2014","unstructured":"Montesi, F., Guidi, C., Zavattaro, G.: Service-oriented programming with jolie. In: Bouguettaya, A., Sheng, Q.Z., Daniel, F. (eds.) Web Services Foundations, pp. 81\u2013107. Springer, New York (2014)"},{"key":"13_CR32","doi-asserted-by":"crossref","first-page":"19","DOI":"10.4204\/EPTCS.162.3","volume":"162","author":"Rumyana Neykova","year":"2014","unstructured":"Neykova, R., Bocchi, L., Yoshida, N.: Timed runtime monitoring for multiparty conversations. In: Carbone, M. (ed.) BEAT, EPTCS, vol. 162, pp. 19\u201326 (2014)","journal-title":"Electronic Proceedings in Theoretical Computer Science"},{"key":"13_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"188","DOI":"10.1007\/978-3-642-35861-6_12","volume-title":"Formal Aspects of Component Software","author":"HR Nielson","year":"2013","unstructured":"Nielson, H.R., Nielson, F., Vigo, R.: A calculus for quality. In: P\u0103s\u0103reanu, C.S., Sala\u00fcn, G. (eds.) FACS 2012. LNCS, vol. 7684, pp. 188\u2013204. Springer, Heidelberg (2013)"},{"issue":"4","key":"13_CR34","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1387663.1387670","volume":"4","author":"S Pattem","year":"2008","unstructured":"Pattem, S., Krishnamachari, B., Govindan, R.: The impact of spatial correlation on routing with compression in wireless sensor networks. TOSN 4(4), 1\u201323 (2008)","journal-title":"TOSN"},{"key":"13_CR35","first-page":"1","volume-title":"Handbook of Algorithms for Wireless Networking and Mobile Computing","author":"MA Perillo","year":"2005","unstructured":"Perillo, M.A., Heinzelman, W.B.: Wireless sensor network protocols. In: Boukerche, A. (ed.) Handbook of Algorithms for Wireless Networking and Mobile Computing, pp. 1\u201335. Chapman and Hall\/CRC, London (2005)"},{"key":"13_CR36","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1007\/978-3-319-05119-2_3","volume-title":"Trustworthy Global Computing","author":"N Yoshida","year":"2014","unstructured":"Yoshida, N., Hu, R., Neykova, R., Ng, N.: The Scribble Protocol Language. In: Abadi, M., Lluch Lafuente, A. (eds.) TGC 2013. LNCS, vol. 8358, pp. 22\u201341. Springer, Heidelberg (2014)"}],"container-title":["Lecture Notes in Computer Science","Formal Techniques for Distributed Objects, Components, and Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-39570-8_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,5,23]],"date-time":"2020-05-23T00:10:26Z","timestamp":1590192626000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-39570-8_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319395692","9783319395708"],"references-count":36,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-39570-8_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"24 May 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}