{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,17]],"date-time":"2025-11-17T14:26:45Z","timestamp":1763389605696,"version":"3.40.3"},"publisher-location":"Cham","reference-count":62,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783031081453"},{"type":"electronic","value":"9783031081439"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"DOI":"10.1007\/978-3-031-08143-9_12","type":"book-chapter","created":{"date-parts":[[2022,6,13]],"date-time":"2022-06-13T13:06:32Z","timestamp":1655125592000},"page":"200-219","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["A Monitoring Tool for\u00a0Linear-Time $$\\mu $$HML"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2197-3018","authenticated-orcid":false,"given":"Luca","family":"Aceto","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1314-333X","authenticated-orcid":false,"given":"Antonis","family":"Achilleos","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2448-5394","authenticated-orcid":false,"given":"Duncan Paul","family":"Attard","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0318-1217","authenticated-orcid":false,"given":"L\u00e9o","family":"Exibard","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3829-7391","authenticated-orcid":false,"given":"Adrian","family":"Francalanza","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8362-3075","authenticated-orcid":false,"given":"Anna","family":"Ing\u00f3lfsd\u00f3ttir","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2022,6,14]]},"reference":[{"key":"12_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1007\/978-3-319-89366-2_11","volume-title":"Foundations of Software Science and Computation Structures","author":"L Aceto","year":"2018","unstructured":"Aceto, L., Achilleos, A., Francalanza, A., Ing\u00f3lfsd\u00f3ttir, A.: A framework for parameterized monitorability. In: Baier, C., Dal Lago, U. (eds.) FoSSaCS 2018. LNCS, vol. 10803, pp. 203\u2013220. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-89366-2_11"},{"key":"12_CR2","doi-asserted-by":"crossref","unstructured":"Aceto, L., Achilleos, A., Francalanza, A., Ing\u00f3lfsd\u00f3ttir, A., Kjartansson, S.\u00d6.: Determinizing monitors for HML with recursion. JLAMP 111 (2020)","DOI":"10.1016\/j.jlamp.2019.100515"},{"key":"12_CR3","doi-asserted-by":"crossref","unstructured":"Aceto, L., Achilleos, A., Francalanza, A., Ing\u00f3lfsd\u00f3ttir, A., Lehtinen, K.: Adventures in monitorability: from branching to linear time and back again. Proc. ACM Program. Lang. 3(POPL), 52:1\u201352:29 (2019)","DOI":"10.1145\/3290365"},{"key":"12_CR4","doi-asserted-by":"crossref","unstructured":"Aceto, L., Achilleos, A., Francalanza, A., Ing\u00f3lfsd\u00f3ttir, A., Lehtinen, K.: An operational guide to monitorability with applications to regular properties. Softw. Syst. Model. 20(2), 335\u2013361 (2021)","DOI":"10.1007\/s10270-020-00860-z"},{"key":"12_CR5","unstructured":"Aceto, L., Attard, D.P., Francalanza, A., Ing\u00f3lfsd\u00f3ttir, A.: A Choreographed outline instrumentation algorithm for asynchronous components. CoRR abs\/2104.09433 (2021)"},{"key":"12_CR6","doi-asserted-by":"publisher","unstructured":"Aceto, L., Attard, D.P., Francalanza, A., Ing\u00f3lfsd\u00f3ttir, A.: On benchmarking for concurrent runtime verification. In: FASE 2021. LNCS, vol. 12649, pp. 3\u201323. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-71500-7_1","DOI":"10.1007\/978-3-030-71500-7_1"},{"key":"12_CR7","doi-asserted-by":"crossref","unstructured":"Aceto, L., Ing\u00f3lfsd\u00f3ttir, A., Larsen, K.G., Srba, J.: Reactive Systems: Modelling, Specification and Verification. Cambridge University Press, Cambridge (2007)","DOI":"10.1017\/CBO9780511814105"},{"key":"12_CR8","doi-asserted-by":"crossref","unstructured":"Agha, G., Mason, I.A., Smith, S.F., Talcott, C.L.: A foundation for actor computation. JFP 7(1), 1\u201372 (1997)","DOI":"10.1017\/S095679689700261X"},{"key":"12_CR9","doi-asserted-by":"crossref","unstructured":"Allan, C., et al.: Adding trace matching with free variables to AspectJ. In: OOPSLA, pp. 345\u2013364. ACM (2005)","DOI":"10.1145\/1103845.1094839"},{"key":"12_CR10","doi-asserted-by":"crossref","unstructured":"Alpern, B., Schneider, F.B.: Defining liveness. Inf. Process. Lett. 21(4), 181\u2013185 (1985)","DOI":"10.1016\/0020-0190(85)90056-0"},{"key":"12_CR11","unstructured":"Armstrong, J.: Programming Erlang: Software for a Concurrent World. Pragmatic Bookshelf (2007)"},{"key":"12_CR12","doi-asserted-by":"publisher","unstructured":"Attard, D.P., Aceto, L., Achilleos, A., Francalanza, A., Ing\u00f3lfsd\u00f3ttir, A., Lehtinen, K.: Better late than never or: verifying asynchronous components at runtime. In: Peters, K., Willemse, T.A.C. (eds.) FORTE 2021. LNCS, vol. 12719, pp. 207\u2013225. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-78089-0_14","DOI":"10.1007\/978-3-030-78089-0_14"},{"key":"12_CR13","unstructured":"Attard, D.P., Cassar, I., Francalanza, A., Aceto, L., Ing\u00f3lfsd\u00f3ttir, A.: Introduction to Runtime Verification. In: Behavioural Types: From Theory to Tools, pp. 49\u201376. Automation, Control and Robotics, River (2017)"},{"key":"12_CR14","doi-asserted-by":"publisher","unstructured":"Attard, D.P., Francalanza, A.: A monitoring tool for a branching-time logic. In: Falcone, Y., S\u00e1nchez, C. (eds.) RV 2016. LNCS, vol. 10012, pp. 473\u2013481. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-46982-9_31","DOI":"10.1007\/978-3-319-46982-9_31"},{"key":"12_CR15","doi-asserted-by":"publisher","unstructured":"Attard, D.P., Francalanza, A.: Trace partitioning and local monitoring for\u00a0asynchronous components. In: Cimatti, A., Sirjani, M. (eds.) SEFM 2017. LNCS, vol. 10469, pp. 219\u2013235. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-66197-1_14","DOI":"10.1007\/978-3-319-66197-1_14"},{"key":"12_CR16","doi-asserted-by":"publisher","unstructured":"Barringer, H., Falcone, Y., Havelund, K., Reger, G., Rydeheard, D.: Quantified event automata: towards expressive and efficient runtime monitors. In: Giannakopoulou, D., M\u00e9ry, D. (eds.) FM 2012. LNCS, vol. 7436, pp. 68\u201384. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-32759-9_9","DOI":"10.1007\/978-3-642-32759-9_9"},{"key":"12_CR17","doi-asserted-by":"publisher","unstructured":"Bartocci, E., Falcone, Y., Francalanza, A., Reger, G.: Introduction to runtime verification. In: Bartocci, E., Falcone, Y. (eds.) Lectures on Runtime Verification. LNCS, vol. 10457, pp. 1\u201333. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-75632-5_1","DOI":"10.1007\/978-3-319-75632-5_1"},{"key":"12_CR18","doi-asserted-by":"crossref","unstructured":"Basin, D.A., Klaedtke, F., M\u00fcller, S., Zalinescu, E.: Monitoring metric first-order temporal properties. J. ACM 62(2), 15:1\u201315:45 (2015)","DOI":"10.1145\/2699444"},{"key":"12_CR19","unstructured":"Basin, D.A., Klaedtke, F., Zalinescu, E.: Failure-aware runtime verification of distributed systems. In: FSTTCS. LIPIcs, vol. 45, pp. 590\u2013603. Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik (2015)"},{"key":"12_CR20","doi-asserted-by":"publisher","unstructured":"Basin, D., Klaedtke, F., Z\u0103linescu, E.: Runtime verification of temporal properties over out-of-order data streams. In: Majumdar, R., Kun\u010dak, V. (eds.) CAV 2017. LNCS, vol. 10426, pp. 356\u2013376. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-63387-9_18","DOI":"10.1007\/978-3-319-63387-9_18"},{"key":"12_CR21","doi-asserted-by":"crossref","unstructured":"Bauer, A., Falcone, Y.: Decentralised LTL monitoring. FMSD 48(1\u20132), 46\u201393 (2016)","DOI":"10.1007\/s10703-016-0253-8"},{"key":"12_CR22","doi-asserted-by":"crossref","unstructured":"Bauer, A., K\u00fcster, J., Vegliach, G.: The ins and outs of first-order runtime verification. Formal Methods Syst. Des. 46(3), 286\u2013316 (2015)","DOI":"10.1007\/s10703-015-0227-2"},{"key":"12_CR23","doi-asserted-by":"crossref","unstructured":"Bauer, A., Leucker, M., Schallhart, C.: Comparing LTL semantics for runtime verification. J. Log. Comput. 20(3), 651\u2013674 (2010)","DOI":"10.1093\/logcom\/exn075"},{"key":"12_CR24","doi-asserted-by":"crossref","unstructured":"Bauer, A., Leucker, M., Schallhart, C.: Runtime verification for LTL and TLTL. ACM Trans. Softw. Eng. Methodol. 20(4), 14:1\u201314:64 (2011)","DOI":"10.1145\/2000799.2000800"},{"key":"12_CR25","unstructured":"Bonakdarpour, B., Fraigniaud, P., Rajsbaum, S., Rosenblueth, D.A., Travers, C.: Decentralized asynchronous crash-resilient runtime verification. In: CONCUR. LIPIcs, vol. 59, pp. 16:1\u201316:15. Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik (2016)"},{"key":"12_CR26","unstructured":"Cassar, I., Francalanza, A., Attard, D.P., Aceto, L., Ing\u00f3lfsd\u00f3ttir, A.: A suite of monitoring tools for Erlang. In: RV-CuBES. Kalpa Publications in Computing, vol. 3, pp. 41\u201347 (2017)"},{"key":"12_CR27","unstructured":"Cesarini, F., Thompson, S.: Erlang Programming: A Concurrent Approach to Software Development. O\u2019Reilly Media (2009)"},{"key":"12_CR28","doi-asserted-by":"crossref","unstructured":"Chen, F., Rosu, G.: MOP: an efficient and generic runtime verification framework. In: OOPSLA, pp. 569\u2013588 (2007)","DOI":"10.1145\/1297105.1297069"},{"key":"12_CR29","doi-asserted-by":"publisher","unstructured":"Chen, F., Ro\u015fu, G.: Parametric trace slicing and monitoring. In: Kowalewski, S., Philippou, A. (eds.) TACAS 2009. LNCS, vol. 5505, pp. 246\u2013261. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-00768-2_23","DOI":"10.1007\/978-3-642-00768-2_23"},{"key":"12_CR30","doi-asserted-by":"publisher","unstructured":"Colombo, C., Francalanza, A., Gatt, R.: Elarva: a monitoring tool for Erlang. In: Khurshid, S., Sen, K. (eds.) RV 2011. LNCS, vol. 7186, pp. 370\u2013374. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-29860-8_29","DOI":"10.1007\/978-3-642-29860-8_29"},{"key":"12_CR31","doi-asserted-by":"publisher","unstructured":"Decker, N., Harder, J., Scheffel, T., Schmitz, M., Thoma, D.: Runtime monitoring with union-find structures. In: Chechik, M., Raskin, J.-F. (eds.) TACAS 2016. LNCS, vol. 9636, pp. 868\u2013884. Springer, Heidelberg (2016). https:\/\/doi.org\/10.1007\/978-3-662-49674-9_54","DOI":"10.1007\/978-3-662-49674-9_54"},{"key":"12_CR32","unstructured":"Erlingsson, \u00da.: The inlined reference monitor approach to security policy enforcement. Ph.D. thesis, Cornell University (2004)"},{"key":"12_CR33","doi-asserted-by":"crossref","unstructured":"Erlingsson, \u00da., Schneider, F.B.: SASI enforcement of security policies: a retrospective. In: NSPW, pp. 87\u201395 (1999)","DOI":"10.1145\/335169.335201"},{"key":"12_CR34","doi-asserted-by":"publisher","unstructured":"Falcone, Y., Krsti\u0107, S., Reger, G., Traytel, D.: A taxonomy for classifying runtime verification tools. In: Colombo, C., Leucker, M. (eds.) RV 2018. LNCS, vol. 11237, pp. 241\u2013262. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-030-03769-7_14","DOI":"10.1007\/978-3-030-03769-7_14"},{"key":"12_CR35","doi-asserted-by":"crossref","unstructured":"Francalanza, A.: A theory of monitors. Inf. Comput. 281, 104704 (2021)","DOI":"10.1016\/j.ic.2021.104704"},{"key":"12_CR36","doi-asserted-by":"publisher","unstructured":"Francalanza, A., et al.: A foundation for runtime monitoring. In: Lahiri, S., Reger, G. (eds.) RV 2017. LNCS, vol. 10548, pp. 8\u201329. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-67531-2_2","DOI":"10.1007\/978-3-319-67531-2_2"},{"key":"12_CR37","doi-asserted-by":"publisher","unstructured":"Francalanza, A., Aceto, L., Ingolfsdottir, A.: On verifying Hennessy-Milner logic with recursion at runtime. In: Bartocci, E., Majumdar, R. (eds.) RV 2015. LNCS, vol. 9333, pp. 71\u201386. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-23820-3_5","DOI":"10.1007\/978-3-319-23820-3_5"},{"key":"12_CR38","doi-asserted-by":"crossref","unstructured":"Francalanza, A., Aceto, L., Ing\u00f3lfsd\u00f3ttir, A.: Monitorability for the Hennessy-Milner logic with recursion. FMSD 51(1), 87\u2013116 (2017)","DOI":"10.1007\/s10703-017-0273-z"},{"key":"12_CR39","doi-asserted-by":"crossref","unstructured":"Francalanza, A., Cini, C.: Computer says no: verdict explainability for runtime monitors using a local proof system. J. Log. Algebraic Methods Program. 119, 100636 (2021)","DOI":"10.1016\/j.jlamp.2020.100636"},{"key":"12_CR40","doi-asserted-by":"crossref","unstructured":"Francalanza, A., Seychell, A.: Synthesising correct concurrent runtime monitors. FMSD 46(3), 226\u2013261 (2015)","DOI":"10.1007\/s10703-014-0217-9"},{"key":"12_CR41","doi-asserted-by":"publisher","unstructured":"Havelund, K., Peled, D.: Runtime verification: from propositional to first-order temporal logic. In: Colombo, C., Leucker, M. (eds.) RV 2018. LNCS, vol. 11237, pp. 90\u2013112. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-030-03769-7_7","DOI":"10.1007\/978-3-030-03769-7_7"},{"key":"12_CR42","doi-asserted-by":"publisher","unstructured":"Havelund, K., Peled, D.: BDDs for representing data in runtime verification. In: Deshmukh, J., Ni\u010dkovi\u0107, D. (eds.) RV 2020. LNCS, vol. 12399, pp. 107\u2013128. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-60508-7_6","DOI":"10.1007\/978-3-030-60508-7_6"},{"key":"12_CR43","doi-asserted-by":"publisher","unstructured":"Havelund, K., Reger, G., Thoma, D., Z\u0103linescu, E.: Monitoring events that carry data. In: Bartocci, E., Falcone, Y. (eds.) Lectures on Runtime Verification. LNCS, vol. 10457, pp. 61\u2013102. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-75632-5_3","DOI":"10.1007\/978-3-319-75632-5_3"},{"key":"12_CR44","unstructured":"Hewitt, C., Bishop, P.B., Steiger, R.: A universal modular ACTOR formalism for artificial intelligence. In: IJCAI, pp. 235\u2013245. William Kaufmann (1973)"},{"key":"12_CR45","unstructured":"Hoguin, L.: Cowboy (2020). https:\/\/ninenines.eu"},{"key":"12_CR46","unstructured":"Hoguin, L.: Ranch (2020). https:\/\/ninenines.eu"},{"key":"12_CR47","doi-asserted-by":"crossref","unstructured":"Jin, D., Meredith, P.O., Lee, C., Rosu, G.: JavaMOP: efficient parametric runtime monitoring framework. In: ICSE, pp. 1427\u20131430 (2012)","DOI":"10.1109\/ICSE.2012.6227231"},{"key":"12_CR48","unstructured":"Clarke Jr., E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (1999)"},{"key":"12_CR49","doi-asserted-by":"publisher","unstructured":"Kozen, D.: Results on the propositional $$\\mu $$-calculus. In: Nielsen, M., Schmidt, E.M. (eds.) ICALP 1982. LNCS, vol. 140, pp. 348\u2013359. Springer, Heidelberg (1982). https:\/\/doi.org\/10.1007\/BFb0012782","DOI":"10.1007\/BFb0012782"},{"key":"12_CR50","doi-asserted-by":"crossref","unstructured":"Kupferman, O., Vardi, M.Y., Wolper, P.: An automata-theoretic approach to branching-time model checking. J. ACM 47(2), 312\u2013360 (2000)","DOI":"10.1145\/333979.333987"},{"key":"12_CR51","doi-asserted-by":"crossref","unstructured":"Larsen, K.G.: Proof systems for satisfiability in Hennessy-Milner logic with recursion. TCS 72(2&3), 265\u2013288 (1990)","DOI":"10.1016\/0304-3975(90)90038-J"},{"key":"12_CR52","doi-asserted-by":"crossref","unstructured":"Leucker, M., Schallhart, C.: A brief account of runtime verification. JLAP 78(5), 293\u2013303 (2009)","DOI":"10.1016\/j.jlap.2008.08.004"},{"key":"12_CR53","doi-asserted-by":"crossref","unstructured":"Meredith, P.O., Jin, D., Griffith, D., Chen, F., Rosu, G.: An overview of the MOP runtime verification framework. STTT 14(3), 249\u2013289 (2012)","DOI":"10.1007\/s10009-011-0198-6"},{"key":"12_CR54","unstructured":"Milner, R.: Communication and Concurrency. Prentice Hall (1989)"},{"key":"12_CR55","unstructured":"Papoulis, A.: Probability, Random Variables, and Stochastic Processes. McGraw Hill (1991)"},{"key":"12_CR56","doi-asserted-by":"publisher","unstructured":"Reger, G., Cruz, H.C., Rydeheard, D.: MarQ: monitoring at runtime with QEA. In: Baier, C., Tinelli, C. (eds.) TACAS 2015. LNCS, vol. 9035, pp. 596\u2013610. Springer, Heidelberg (2015). https:\/\/doi.org\/10.1007\/978-3-662-46681-0_55","DOI":"10.1007\/978-3-662-46681-0_55"},{"key":"12_CR57","doi-asserted-by":"publisher","unstructured":"Reger, G., Rydeheard, D.: From first-order temporal logic to parametric trace slicing. In: Bartocci, E., Majumdar, R. (eds.) RV 2015. LNCS, vol. 9333, pp. 216\u2013232. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-23820-3_14","DOI":"10.1007\/978-3-319-23820-3_14"},{"key":"12_CR58","doi-asserted-by":"crossref","unstructured":"Scheffel, T., Schmitz, M.: Three-valued asynchronous distributed runtime verification. In: MEMOCODE, pp. 52\u201361 (2014)","DOI":"10.1109\/MEMCOD.2014.6961843"},{"key":"12_CR59","doi-asserted-by":"crossref","unstructured":"Sen, K., Vardhan, A., Agha, G., Rosu, G.: Efficient decentralized monitoring of safety in distributed systems. In: ICSE, pp. 418\u2013427 (2004)","DOI":"10.1109\/ICSE.2004.1317464"},{"key":"12_CR60","doi-asserted-by":"crossref","unstructured":"Sen, K., Vardhan, A., Agha, G., Rosu, G.: Decentralized runtime analysis of multithreaded applications. In: IPDPS. IEEE (2006)","DOI":"10.1109\/IPDPS.2006.1639591"},{"key":"12_CR61","doi-asserted-by":"crossref","unstructured":"Stolz, V.: Temporal assertions with parametrized propositions. J. Log. Comput. 20(3), 743\u2013757 (2010)","DOI":"10.1093\/logcom\/exn078"},{"key":"12_CR62","doi-asserted-by":"crossref","unstructured":"Wolper, P.: Temporal logic can be more expressive. Inf. Control. 56(1\/2), 72\u201399 (1983)","DOI":"10.1016\/S0019-9958(83)80051-5"}],"container-title":["Lecture Notes in Computer Science","Coordination Models and Languages"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-08143-9_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,9,26]],"date-time":"2024-09-26T21:33:56Z","timestamp":1727386436000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-08143-9_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783031081453","9783031081439"],"references-count":62,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-08143-9_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"14 June 2022","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"COORDINATION","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Coordination Languages and Models","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Lucca","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Italy","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2022","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"13 June 2022","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18 June 2022","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"24","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"coordination2022","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"22","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"11","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"1","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"50% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"No","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}