{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T13:28:32Z","timestamp":1725888512770},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319602240"},{"type":"electronic","value":"9783319602257"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"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":[[2017]]},"DOI":"10.1007\/978-3-319-60225-7_6","type":"book-chapter","created":{"date-parts":[[2017,5,26]],"date-time":"2017-05-26T22:26:37Z","timestamp":1495837597000},"page":"74-91","source":"Crossref","is-referenced-by-count":2,"title":["Session-Based Concurrency, Reactively"],"prefix":"10.1007","author":[{"given":"Mauricio","family":"Cano","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jaime","family":"Arias","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jorge A.","family":"P\u00e9rez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,5,28]]},"reference":[{"key":"6_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/978-3-319-19195-9_11","volume-title":"Formal Techniques for Distributed Objects, Components, and Systems","author":"M Bartoletti","year":"2015","unstructured":"Bartoletti, M., Cimoli, T., Murgia, M., Podda, A.S., Pompianu, L.: Compliance and subtyping in timed session types. In: Graf, S., Viswanathan, M. (eds.) FORTE 2015. LNCS, vol. 9039, pp. 161\u2013177. Springer, Cham (2015). doi:\n10.1007\/978-3-319-19195-9_11"},{"issue":"1","key":"6_CR2","doi-asserted-by":"crossref","first-page":"64","DOI":"10.1109\/JPROC.2002.805826","volume":"91","author":"A Benveniste","year":"2003","unstructured":"Benveniste, A., Caspi, P., Edwards, S.A., Halbwachs, N., Guernic, P.L., de Simone, R.: The synchronous languages 12 years later. Proc. IEEE 91(1), 64\u201383 (2003)","journal-title":"Proc. IEEE"},{"key":"6_CR3","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). doi:\n10.1007\/978-3-642-15375-4_12"},{"key":"6_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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). doi:\n10.1007\/978-3-662-44584-6_29"},{"issue":"2","key":"6_CR5","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1017\/S095679680400543X","volume":"15","author":"E Bonelli","year":"2005","unstructured":"Bonelli, E., Compagnoni, A.B., Gunter, E.L.: Correspondence assertions for process synchronization in concurrent communications. J. Funct. Program. 15(2), 219\u2013247 (2005)","journal-title":"J. Funct. Program."},{"issue":"4","key":"6_CR6","doi-asserted-by":"crossref","first-page":"256","DOI":"10.1109\/32.491649","volume":"22","author":"F Boussinot","year":"1996","unstructured":"Boussinot, F., de Simone, R.: The SL synchronous language. IEEE Trans. Softw. Eng. 22(4), 256\u2013266 (1996)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"6_CR7","unstructured":"Cano, M., Arias, J., P\u00e9rez, J.A.: Session-based Concurrency, Reactively (Extended Version) (2017). \nhttp:\/\/www.jperez.nl\/publications"},{"key":"6_CR8","doi-asserted-by":"crossref","unstructured":"Dardha, O., Giachino, E., Sangiorgi, D.: Session types revisited. In: Proceedings of the PPDP 2012, pp. 139\u2013150 (2012)","DOI":"10.1145\/2370776.2370794"},{"issue":"9","key":"6_CR9","doi-asserted-by":"crossref","first-page":"1031","DOI":"10.1016\/j.ic.2010.05.002","volume":"208","author":"D Gorla","year":"2010","unstructured":"Gorla, D.: Towards a unified approach to encodability and separation results for process calculi. Inf. Comput. 208(9), 1031\u20131053 (2010)","journal-title":"Inf. Comput."},{"issue":"9","key":"6_CR10","doi-asserted-by":"crossref","first-page":"785","DOI":"10.1109\/32.159839","volume":"18","author":"N Halbwachs","year":"1992","unstructured":"Halbwachs, N., Lagnier, F., Ratel, C.: Programming and verifying real-time systems by means of the synchronous data-flow language LUSTRE. IEEE Trans. Softw. Eng. 18(9), 785\u2013793 (1992)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"6_CR11","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). doi:\n10.1007\/BFb0053567"},{"issue":"1","key":"6_CR12","doi-asserted-by":"crossref","first-page":"3:1","DOI":"10.1145\/2873052","volume":"49","author":"H H\u00fcttel","year":"2016","unstructured":"H\u00fcttel, H., Lanese, I., Vasconcelos, V.T., Caires, L., Carbone, M., Deni\u00e9lou, P.-M., Mostrous, D., Padovani, L., Ravara, A., Tuosto, E., Vieira, H.T., Zavattaro, G.: Foundations of session types and behavioural contracts. ACM Comput. Surv. 49(1), 3:1\u20133:36 (2016)","journal-title":"ACM Comput. Surv."},{"issue":"2","key":"6_CR13","doi-asserted-by":"crossref","first-page":"303","DOI":"10.1017\/S096012951400019X","volume":"26","author":"D Kouzapas","year":"2016","unstructured":"Kouzapas, D., Yoshida, N., Hu, R., Honda, K.: On asynchronous eventful session semantics. Math. Struct. Comput. Sci. 26(2), 303\u2013364 (2016)","journal-title":"Math. Struct. Comput. Sci."},{"key":"6_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1007\/978-3-319-10936-7_14","volume-title":"Static Analysis","author":"L Mandel","year":"2014","unstructured":"Mandel, L., Pasteur, C.: Reactivity of cooperative systems. In: M\u00fcller-Olm, M., Seidl, H. (eds.) SAS 2014. LNCS, vol. 8723, pp. 219\u2013236. Springer, Cham (2014). doi:\n10.1007\/978-3-319-10936-7_14"},{"key":"6_CR15","doi-asserted-by":"crossref","unstructured":"Mandel, L., Pasteur, C., Pouzet, M.: ReactiveML, ten years later. In: Falaschi, M., Albert, E. (eds.) Proceedings of the PPDP 2015, pp. 6\u201317. ACM (2015)","DOI":"10.1145\/2790449.2790509"},{"key":"6_CR16","doi-asserted-by":"crossref","unstructured":"Mandel, L., Pouzet, M.: ReactiveML: a reactive extension to ML. In: Proceedings of the PPDP 2005, pp. 82\u201393. ACM (2005)","DOI":"10.1145\/1069774.1069782"},{"issue":"1","key":"6_CR17","doi-asserted-by":"crossref","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, I. Inf. Comput. 100(1), 1\u201340 (1992)","journal-title":"Inf. Comput."},{"key":"6_CR18","doi-asserted-by":"crossref","first-page":"52","DOI":"10.1016\/j.ic.2012.05.002","volume":"217","author":"VT Vasconcelos","year":"2012","unstructured":"Vasconcelos, V.T.: Fundamentals of session types. Inf. Comput. 217, 52\u201370 (2012)","journal-title":"Inf. Comput."}],"container-title":["Lecture Notes in Computer Science","Formal Techniques for Distributed Objects, Components, and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-60225-7_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,5,26]],"date-time":"2017-05-26T22:28:22Z","timestamp":1495837702000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-60225-7_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319602240","9783319602257"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-60225-7_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}