{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:57:18Z","timestamp":1740099438361,"version":"3.37.3"},"publisher-location":"Cham","reference-count":47,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030214845"},{"type":"electronic","value":"9783030214852"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","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":[[2019]]},"DOI":"10.1007\/978-3-030-21485-2_18","type":"book-chapter","created":{"date-parts":[[2019,7,3]],"date-time":"2019-07-03T10:04:18Z","timestamp":1562148258000},"page":"315-339","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Types for Progress in Actor Programs"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-6122-7562","authenticated-orcid":false,"given":"Minas","family":"Charalambides","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Karl","family":"Palmskog","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0580-4206","authenticated-orcid":false,"given":"Gul","family":"Agha","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,7,3]]},"reference":[{"key":"18_CR1","unstructured":"Abd Alrahman, Y., De Nicola, R., Loreti, M.: A behavioural theory for interactions in collective-adaptive systems. CoRR abs\/1711.09762 (2017). \n                      http:\/\/arxiv.org\/abs\/1711.09762"},{"issue":"1","key":"18_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1017\/S095679689700261X","volume":"7","author":"G Agha","year":"1997","unstructured":"Agha, G., Mason, I.A., Smith, S.F., Talcott, C.L.: A foundation for actor computation. J. Funct. Program. 7(1), 1\u201372 (1997). \n                      https:\/\/doi.org\/10.1017\/S095679689700261X","journal-title":"J. Funct. Program."},{"key":"18_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1007\/978-3-540-39993-3_4","volume-title":"From Object-Orientation to Formal Methods","author":"G Agha","year":"2004","unstructured":"Agha, G., Thati, P.: An algebraic theory of actors and its application to a simple object-based language. In: Owe, O., Krogdahl, S., Lyche, T. (eds.) From Object-Orientation to Formal Methods. LNCS, vol. 2635, pp. 26\u201357. Springer, Heidelberg (2004). \n                      https:\/\/doi.org\/10.1007\/978-3-540-39993-3_4"},{"key":"18_CR4","volume-title":"ACTORS - A Model of Concurrent Computation in Distributed Systems","author":"GA Agha","year":"1990","unstructured":"Agha, G.A.: ACTORS - A Model of Concurrent Computation in Distributed Systems. MIT Press, Cambridge (1990)"},{"issue":"4","key":"18_CR5","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1016\/0020-0190(85)90056-0","volume":"21","author":"B Alpern","year":"1985","unstructured":"Alpern, B., Schneider, F.B.: Defining liveness. Inf. Process. Lett. 21(4), 181\u2013185 (1985). \n                      https:\/\/doi.org\/10.1016\/0020-0190(85)90056-0","journal-title":"Inf. Process. Lett."},{"key":"18_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"418","DOI":"10.1007\/978-3-540-85361-9_33","volume-title":"CONCUR 2008 - Concurrency Theory","author":"L Bettini","year":"2008","unstructured":"Bettini, L., Coppo, M., D\u2019Antoni, L., De Luca, M., Dezani-Ciancaglini, M., Yoshida, N.: Global progress in dynamically interleaved multiparty sessions. In: van Breugel, F., Chechik, M. (eds.) CONCUR 2008. LNCS, vol. 5201, pp. 418\u2013433. Springer, Heidelberg (2008). \n                      https:\/\/doi.org\/10.1007\/978-3-540-85361-9_33"},{"key":"18_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/978-3-540-68863-1_3","volume-title":"Formal Methods for Open Object-Based Distributed Systems","author":"M Boreale","year":"2008","unstructured":"Boreale, M., Bruni, R., De Nicola, R., Loreti, M.: Sessions and pipelines for structured service programming. In: Barthe, G., de Boer, F.S. (eds.) FMOODS 2008. LNCS, vol. 5051, pp. 19\u201338. Springer, Heidelberg (2008). \n                      https:\/\/doi.org\/10.1007\/978-3-540-68863-1_3"},{"key":"18_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1007\/978-3-662-43376-8_4","volume-title":"Coordination Models and Languages","author":"M Carbone","year":"2014","unstructured":"Carbone, M., Dardha, O., Montesi, F.: Progress as compositional lock-freedom. In: K\u00fchn, E., Pugliese, R. (eds.) COORDINATION 2014. LNCS, vol. 8459, pp. 49\u201364. Springer, Heidelberg (2014). \n                      https:\/\/doi.org\/10.1007\/978-3-662-43376-8_4"},{"key":"18_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. 4421, pp. 2\u201317. Springer, Heidelberg (2007). \n                      https:\/\/doi.org\/10.1007\/978-3-540-71316-6_2"},{"issue":"2","key":"18_CR10","doi-asserted-by":"publisher","first-page":"8:1","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:1\u20138:78 (2012). \n                      https:\/\/doi.org\/10.1145\/2220365.2220367","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"18_CR11","doi-asserted-by":"publisher","unstructured":"Carbone, M., Montesi, F.: Deadlock-freedom-by-design: multiparty asynchronous global programming. In: Symposium on Principles of Programming Languages, pp. 263\u2013274 (2013). \n                      https:\/\/doi.org\/10.1145\/2429069.2429101","DOI":"10.1145\/2429069.2429101"},{"issue":"1\u20133","key":"18_CR12","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1016\/j.tcs.2008.01.049","volume":"398","author":"G Castagna","year":"2008","unstructured":"Castagna, G., De Nicola, R., Varacca, D.: Semantic subtyping for the pi-calculus. Theor. Comput. Sci. 398(1\u20133), 217\u2013242 (2008). \n                      https:\/\/doi.org\/10.1016\/j.tcs.2008.01.049","journal-title":"Theor. Comput. Sci."},{"key":"18_CR13","unstructured":"Charalambides, M.: Actor Programming with Static Guarantees. Ph.D. thesis, Urbana, Illinois (2018). \n                      http:\/\/hdl.handle.net\/2142\/101036"},{"key":"18_CR14","doi-asserted-by":"publisher","first-page":"16","DOI":"10.4204\/EPTCS.91.2","volume":"91","author":"Minas Charalambides","year":"2012","unstructured":"Charalambides, M., Dinges, P., Agha, G.: Parameterized concurrent multi-party session types. In: International Workshop on Foundations of Coordination Languages and Self Adaptation, pp. 16\u201330 (2012). \n                      https:\/\/doi.org\/10.4204\/EPTCS.91.2","journal-title":"Electronic Proceedings in Theoretical Computer Science"},{"key":"18_CR15","doi-asserted-by":"publisher","first-page":"100","DOI":"10.1016\/j.scico.2015.10.006","volume":"115\u2013116","author":"M Charalambides","year":"2016","unstructured":"Charalambides, M., Dinges, P., Agha, G.A.: Parameterized, concurrent session types for asynchronous multi-actor interactions. Sci. Comput. Program. 115\u2013116, 100\u2013126 (2016). \n                      https:\/\/doi.org\/10.1016\/j.scico.2015.10.006","journal-title":"Sci. Comput. Program."},{"key":"18_CR16","unstructured":"Charalambides, M., Palmskog, K., Agha, G.: Types for progress in actor programs. In: Proceedings of the Workshop on Actors and Active Objects, Torino, Italy (2017)"},{"issue":"5","key":"18_CR17","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1109\/32.685256","volume":"24","author":"R Nicola De","year":"1998","unstructured":"De Nicola, R., Ferrari, G.L., Pugliese, R.: KLAIM: a kernel language for agents interaction and mobility. IEEE Trans. Softw. Eng. 24(5), 315\u2013330 (1998). \n                      https:\/\/doi.org\/10.1109\/32.685256","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"6","key":"18_CR18","doi-asserted-by":"publisher","first-page":"376","DOI":"10.1016\/j.scico.2009.07.009","volume":"75","author":"R Nicola De","year":"2010","unstructured":"De Nicola, R., et al.: From flow logic to static type systems for coordination languages. Sci. Comput. Program. 75(6), 376\u2013397 (2010). \n                      https:\/\/doi.org\/10.1016\/j.scico.2009.07.009","journal-title":"Sci. Comput. Program."},{"key":"18_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1007\/3-540-45499-3_25","volume-title":"Algebraic Methodology and Software Technology","author":"R Nicola De","year":"2000","unstructured":"De Nicola, R., Loreti, M.: A modal logic for Klaim. In: Rus, T. (ed.) AMAST 2000. LNCS, vol. 1816, pp. 339\u2013354. Springer, Heidelberg (2000). \n                      https:\/\/doi.org\/10.1007\/3-540-45499-3_25"},{"key":"18_CR20","doi-asserted-by":"publisher","unstructured":"Deni\u00e9lou, P., Yoshida, N.: Dynamic multirole session types. In: Symposium on Principles of Programming Languages, pp. 435\u2013446 (2011). \n                      https:\/\/doi.org\/10.1145\/1926385.1926435","DOI":"10.1145\/1926385.1926435"},{"key":"18_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"328","DOI":"10.1007\/11785477_20","volume-title":"ECOOP 2006 \u2013 Object-Oriented Programming","author":"M Dezani-Ciancaglini","year":"2006","unstructured":"Dezani-Ciancaglini, M., Mostrous, D., Yoshida, N., Drossopoulou, S.: Session types for object-oriented languages. In: Thomas, D. (ed.) ECOOP 2006. LNCS, vol. 4067, pp. 328\u2013352. Springer, Heidelberg (2006). \n                      https:\/\/doi.org\/10.1007\/11785477_20"},{"key":"18_CR22","series-title":"Texts and Monographs in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-4886-6","volume-title":"Fairness","author":"N Francez","year":"1986","unstructured":"Francez, N.: Fairness. Texts and Monographs in Computer Science. Springer, Heidelberg (1986). \n                      https:\/\/doi.org\/10.1007\/978-1-4612-4886-6"},{"issue":"2\u20133","key":"18_CR23","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1007\/s00236-005-0177-z","volume":"42","author":"SJ Gay","year":"2005","unstructured":"Gay, S.J., Hole, M.: Subtyping for session types in the pi calculus. Acta Inf. 42(2\u20133), 191\u2013225 (2005). \n                      https:\/\/doi.org\/10.1007\/s00236-005-0177-z","journal-title":"Acta Inf."},{"key":"18_CR24","doi-asserted-by":"publisher","first-page":"509","DOI":"10.1007\/3-540-57208-2_35","volume-title":"CONCUR'93","author":"Kohei Honda","year":"1993","unstructured":"Honda, K.: Types for dyadic interaction. In: International Conference on Concurrency Theory, pp. 509\u2013523 (1993). \n                      https:\/\/doi.org\/10.1007\/3-540-57208-2_35"},{"key":"18_CR25","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). \n                      https:\/\/doi.org\/10.1007\/BFb0053567"},{"key":"18_CR26","doi-asserted-by":"publisher","unstructured":"Honda, K., Yoshida, N., Carbone, M.: Multiparty asynchronous session types. In: Symposium on Principles of Programming Languages, pp. 273\u2013284 (2008). \n                      https:\/\/doi.org\/10.1145\/1328438.1328472","DOI":"10.1145\/1328438.1328472"},{"issue":"1","key":"18_CR27","doi-asserted-by":"publisher","first-page":"9:1","DOI":"10.1145\/2827695","volume":"63","author":"K Honda","year":"2016","unstructured":"Honda, K., Yoshida, N., Carbone, M.: Multiparty asynchronous session types. J. ACM 63(1), 9:1\u20139:67 (2016). \n                      https:\/\/doi.org\/10.1145\/2827695","journal-title":"J. ACM"},{"key":"18_CR28","unstructured":"Akka, Lightbend Inc. \n                      http:\/\/akka.io"},{"key":"18_CR29","unstructured":"Scala, \u00c9cole Polytechnique F\u00e9d\u00e9rale (EPFL) Lausanne, Switzerland: The scala programming language. \n                      https:\/\/www.scala-lang.org\/"},{"issue":"2","key":"18_CR30","doi-asserted-by":"publisher","first-page":"436","DOI":"10.1145\/276393.278524","volume":"20","author":"N Kobayashi","year":"1998","unstructured":"Kobayashi, N.: A partially deadlock-free typed process calculus. ACM Trans. Program. Lang. Syst. 20(2), 436\u2013482 (1998). \n                      https:\/\/doi.org\/10.1145\/276393.278524","journal-title":"ACM Trans. Program. Lang. Syst."},{"issue":"2","key":"18_CR31","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1006\/inco.2002.3171","volume":"177","author":"N Kobayashi","year":"2002","unstructured":"Kobayashi, N.: A type system for lock-free processes. Inf. Comput. 177(2), 122\u2013159 (2002). \n                      https:\/\/doi.org\/10.1006\/inco.2002.3171","journal-title":"Inf. Comput."},{"key":"18_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"489","DOI":"10.1007\/3-540-44618-4_35","volume-title":"CONCUR 2000 \u2014 Concurrency Theory","author":"N Kobayashi","year":"2000","unstructured":"Kobayashi, N., Saito, S., Sumii, E.: An implicitly-typed deadlock-free process calculus. In: Palamidessi, C. (ed.) CONCUR 2000. LNCS, vol. 1877, pp. 489\u2013504. Springer, Heidelberg (2000). \n                      https:\/\/doi.org\/10.1007\/3-540-44618-4_35"},{"issue":"2","key":"18_CR33","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1109\/TSE.1977.229904","volume":"3","author":"L Lamport","year":"1977","unstructured":"Lamport, L.: Proving the correctness of multiprocess programs. IEEE Trans. Softw. Eng. 3(2), 125\u2013143 (1977). \n                      https:\/\/doi.org\/10.1109\/TSE.1977.229904","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"1","key":"18_CR34","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. I. Inf. Comput. 100(1), 1\u201340 (1992). \n                      https:\/\/doi.org\/10.1016\/0890-5401(92)90008-4","journal-title":"I. Inf. Comput."},{"key":"18_CR35","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1007\/3-540-36377-7_11","volume-title":"The Essence of Computation","author":"HR Nielson","year":"2002","unstructured":"Nielson, H.R., Nielson, F.: Flow logic: a multi-paradigmatic approach to static analysis. In: Mogensen, T.\u00c6., Schmidt, D.A., Sudborough, I.H. (eds.) The Essence of Computation. LNCS, vol. 2566, pp. 223\u2013244. Springer, Heidelberg (2002). \n                      https:\/\/doi.org\/10.1007\/3-540-36377-7_11"},{"key":"18_CR36","doi-asserted-by":"publisher","first-page":"3","DOI":"10.4204\/EPTCS.137.2","volume":"137","author":"Luca Padovani","year":"2013","unstructured":"Padovani, L.: From lock freedom to progress using session types. In: Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, pp. 3\u201319 (2013). \n                      https:\/\/doi.org\/10.4204\/EPTCS.137.2","journal-title":"Electronic Proceedings in Theoretical Computer Science"},{"issue":"5","key":"18_CR37","doi-asserted-by":"publisher","first-page":"409","DOI":"10.1017\/S096012950007002X","volume":"6","author":"BC Pierce","year":"1996","unstructured":"Pierce, B.C., Sangiorgi, D.: Typing and subtyping for mobile processes. Math. Struct. Comput. Sci. 6(5), 409\u2013453 (1996)","journal-title":"Math. Struct. Comput. Sci."},{"key":"18_CR38","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"367","DOI":"10.1007\/BFb0053387","volume-title":"ECOOP\u201997\u2014Object-Oriented Programming","author":"F Puntigam","year":"1997","unstructured":"Puntigam, F.: Coordination requirements expressed in types for active objects. In: Ak\u015fit, M., Matsuoka, S. (eds.) ECOOP 1997. LNCS, vol. 1241, pp. 367\u2013388. Springer, Heidelberg (1997). \n                      https:\/\/doi.org\/10.1007\/BFb0053387"},{"key":"18_CR39","unstructured":"Puntigam, F.: Concurrent Object-Oriented Programming with Process Types. Habilitationsschrift. Der Andere Verlag, Osnabr\u00fcck, Germany (2000)"},{"issue":"4","key":"18_CR40","first-page":"315","volume":"48","author":"F Puntigam","year":"2001","unstructured":"Puntigam, F., Peter, C.: Types for active objects with static deadlock prevention. Fundam. Inform. 48(4), 315\u2013341 (2001)","journal-title":"Fundam. Inform."},{"issue":"1","key":"18_CR41","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1109\/TSE.1986.6312929","volume":"12","author":"RE Strom","year":"1986","unstructured":"Strom, R.E., Yemini, S.: Typestate: a programming language concept for enhancing software reliability. IEEE Trans. Softw. Eng. 12(1), 157\u2013171 (1986). \n                      https:\/\/doi.org\/10.1109\/TSE.1986.6312929","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"3","key":"18_CR42","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1016\/S1571-0661(04)00144-6","volume":"16","author":"E Sumii","year":"1998","unstructured":"Sumii, E., Kobayashi, N.: A generalized deadlock-free process calculus. Electron. Notes Theor. Comput. Sci. 16(3), 225\u2013247 (1998). \n                      https:\/\/doi.org\/10.1016\/S1571-0661(04)00144-6","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"18_CR43","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"398","DOI":"10.1007\/3-540-58184-7_118","volume-title":"PARLE\u201994 Parallel Architectures and Languages Europe","author":"K Takeuchi","year":"1994","unstructured":"Takeuchi, K., Honda, K., Kubo, M.: An interaction-based language and its typing system. In: Halatsis, C., Maritsas, D., Philokyprou, G., Theodoridis, S. (eds.) PARLE 1994. LNCS, vol. 817, pp. 398\u2013413. Springer, Heidelberg (1994). \n                      https:\/\/doi.org\/10.1007\/3-540-58184-7_118"},{"key":"18_CR44","unstructured":"W3C: Extensible Markup Language. \n                      https:\/\/www.w3.org\/XML\/"},{"key":"18_CR45","unstructured":"W3C: The Web Services Choreography Description Language, November 2005. \n                      http:\/\/www.w3.org\/TR\/ws-cdl-10\/"},{"key":"18_CR46","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1007\/978-3-642-12032-9_10","volume-title":"Foundations of Software Science and Computational Structures","author":"N Yoshida","year":"2010","unstructured":"Yoshida, N., Deni\u00e9lou, P.-M., Bejleri, A., Hu, R.: Parameterised multiparty session types. In: Ong, L. (ed.) FoSSaCS 2010. LNCS, vol. 6014, pp. 128\u2013145. Springer, Heidelberg (2010). \n                      https:\/\/doi.org\/10.1007\/978-3-642-12032-9_10"},{"issue":"4","key":"18_CR47","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/j.entcs.2007.02.056","volume":"171","author":"N Yoshida","year":"2007","unstructured":"Yoshida, N., Vasconcelos, V.T.: Language primitives and type discipline for structured communication-based programming revisited: two systems for higher-order session communication. Electron. Notes Theor. Comput. Sci. 171(4), 73\u201393 (2007). \n                      https:\/\/doi.org\/10.1016\/j.entcs.2007.02.056","journal-title":"Electron. Notes Theor. Comput. Sci."}],"container-title":["Lecture Notes in Computer Science","Models, Languages, and Tools for Concurrent and Distributed Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-21485-2_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,3]],"date-time":"2019-07-03T10:13:47Z","timestamp":1562148827000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-21485-2_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030214845","9783030214852"],"references-count":47,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-21485-2_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"3 July 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}