{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T10:50:31Z","timestamp":1742986231808,"version":"3.40.3"},"publisher-location":"Cham","reference-count":50,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030452360"},{"type":"electronic","value":"9783030452377"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2020,4,17]],"date-time":"2020-04-17T00:00:00Z","timestamp":1587081600000},"content-version":"vor","delay-in-days":107,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>We showed in a recent paper that, when verifying a modal <jats:inline-formula><jats:tex-math>$$\\mu $$<\/jats:tex-math><\/jats:inline-formula>-calculus formula, the actions of the system under verification can be partitioned into sets of so-called weak and strong actions, depending on the combination of weak and strong modalities occurring in the formula. In a compositional verification setting, where the system consists of processes executing in parallel, this partition allows us to decide whether each individual process can be minimized for either divergence-preserving branching (if the process contains only weak actions) or strong (otherwise) bisimilarity, while preserving the truth value of the formula. In this paper, we refine this idea by devising a family of bisimilarity relations, named sharp bisimilarities, parameterized by the set of strong actions. We show that these relations have all the nice properties necessary to be used for compositional verification, in particular congruence and adequacy with the logic. We also illustrate their practical utility on several examples and case-studies, and report about our success in the RERS 2019 model checking challenge.<\/jats:p>","DOI":"10.1007\/978-3-030-45237-7_4","type":"book-chapter","created":{"date-parts":[[2020,4,17]],"date-time":"2020-04-17T10:02:53Z","timestamp":1587117773000},"page":"57-76","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":12,"title":["Sharp Congruences Adequate with Temporal Logics Combining Weak and Strong Modalities"],"prefix":"10.1007","author":[{"given":"Fr\u00e9d\u00e9ric","family":"Lang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Radu","family":"Mateescu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Franco","family":"Mazzanti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,4,17]]},"reference":[{"unstructured":"Andersen, H.R.: Partial model checking. In: Proceedings of the 10th Annual IEEE Symposium on Logic in Computer Science LICS (San Diego, California, USA). pp. 398\u2013407. IEEE Computer Society Press (Jun 1995)","key":"4_CR1"},{"doi-asserted-by":"crossref","unstructured":"Barbuti, R., De\u00a0Francesco, N., Santone, A., Vaglini, G.: Selective mu-calculus and formula-based equivalence of transition systems. Journal of Computer and System Sciences 59, 537\u2013556 (1999)","key":"4_CR2","DOI":"10.1006\/jcss.1999.1660"},{"doi-asserted-by":"crossref","unstructured":"Blom, S., Orzan, S.: A Distributed Algorithm for Strong Bisimulation Reduction of State Spaces. Software Tools for Technology Transfer 7(1), 74\u201386 (2005)","key":"4_CR3","DOI":"10.1007\/s10009-004-0159-4"},{"doi-asserted-by":"crossref","unstructured":"Blom, S., Orzan, S.: Distributed State Space Minimization. Software Tools for Technology Transfer 7(3), 280\u2013291 (2005)","key":"4_CR4","DOI":"10.1007\/s10009-004-0185-2"},{"doi-asserted-by":"crossref","unstructured":"Blom, S., van\u00a0de Pol, J.: Distributed branching bisimulation minimization by inductive signatures. In: Proceedings of the 8th International Workshop on Parallel and Distributed Methods in verifiCation PDMC 2009 (Eindhoven, The Netherlands). Electronic Proceedings in Theoretical Computer Science, vol.\u00a014 (2009)","key":"4_CR5","DOI":"10.4204\/EPTCS.14.3"},{"doi-asserted-by":"publisher","unstructured":"Bolze, R., Cappello, F., Caron, E., Dayd\u00e9, M.J., Desprez, F., Jeannot, E., J\u00e9gou, Y., Lanteri, S., Leduc, J., Melab, N., Mornet, G., Namyst, R., Primet, P., Qu\u00e9tier, B., Richard, O., Talbi, E., Touche, I.: Grid\u20195000: A large scale and highly reconfigurable experimental grid testbed. IJHPCA 20(4), 481\u2013494 (2006). https:\/\/doi.org\/10.1177\/1094342006070078","key":"4_CR6","DOI":"10.1177\/1094342006070078"},{"doi-asserted-by":"crossref","unstructured":"Bouajjani, A., Fernandez, J.C., Graf, S., Rodr\u00edguez, C., Sifakis, J.: Safety for branching time semantics. In: Proceedings of 18th ICALP. Springer (Jul 1991)","key":"4_CR7","DOI":"10.1007\/3-540-54233-7_126"},{"doi-asserted-by":"crossref","unstructured":"Brookes, S.D., Hoare, C.A.R., Roscoe, A.W.: A Theory of Communicating Sequential Processes. J.\u00a0ACM 31(3), 560\u2013599 (Jul 1984)","key":"4_CR8","DOI":"10.1145\/828.833"},{"unstructured":"Champelovier, D., Clerc, X., Garavel, H., Guerte, Y., McKinty, C., Powazny, V., Lang, F., Serwe, W., Smeding, G.: Reference Manual of the LNT to LOTOS Translator (Version 6.7) (Jul 2017), INRIA, Grenoble, France","key":"4_CR9"},{"doi-asserted-by":"crossref","unstructured":"Cheung, S.C., Kramer, J.: Enhancing Compositional Reachability Analysis with Context Constraints. In: Proceedings of the 1st ACM SIGSOFT International Symposium on the Foundations of Software Engineering (Los Angeles, CA, USA). pp. 115\u2013125. ACM Press (Dec 1993)","key":"4_CR10","DOI":"10.1145\/256428.167071"},{"doi-asserted-by":"crossref","unstructured":"Clarke, E.M., Emerson, E.A., Sistla, A.P.: Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Transactions on Programming Languages and Systems 8(2), 244\u2013263 (Apr 1986)","key":"4_CR11","DOI":"10.1145\/5397.5399"},{"doi-asserted-by":"crossref","unstructured":"Crouzen, P., Lang, F.: Smart Reduction. In: Giannakopoulou, D., Orejas, F. (eds.) Proceedings of Fundamental Approaches to Software Engineering (FASE\u201911), Saarbr\u00fccken, Germany. Lecture Notes in Computer Science, vol.\u00a06603, pp. 111\u2013126. Springer (Mar 2011)","key":"4_CR12","DOI":"10.1007\/978-3-642-19811-3_9"},{"unstructured":"De\u00a0Nicola, R., Vaandrager, F.: Three logics for branching bisimulation. Journal of the Association for Computing Machinery (1990)","key":"4_CR13"},{"doi-asserted-by":"crossref","unstructured":"Fernandez, J.C., Mounier, L.: \u201cOn the Fly\u201d Verification of Behavioural Equivalences and Preorders. In: Larsen, K.G., Skou, A. (eds.) Proceedings of the 3rd Workshop on Computer-Aided Verification (CAV\u201991), Aalborg, Denmark. Lecture Notes in Computer Science, vol.\u00a0575, pp. 181\u2013191. Springer (Jul 1991)","key":"4_CR14","DOI":"10.1007\/3-540-55179-4_18"},{"doi-asserted-by":"crossref","unstructured":"Fischer, M.J., Ladner, R.E.: Propositional dynamic logic of regular programs. J.\u00a0Comput. Syst. Sci. 18(2), 194\u2013211 (Sep 1979)","key":"4_CR15","DOI":"10.1016\/0022-0000(79)90046-1"},{"doi-asserted-by":"crossref","unstructured":"Garavel, H.: Nested-Unit Petri Nets. Journal of Logical and Algebraic Methods in Programming 104, 60\u201385 (Apr 2019)","key":"4_CR16","DOI":"10.1016\/j.jlamp.2018.11.005"},{"doi-asserted-by":"crossref","unstructured":"Garavel, H., Lang, F.: SVL: a Scripting Language for Compositional Verification. In: Kim, M., Chin, B., Kang, S., Lee, D. (eds.) Proceedings of the 21st IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE\u201901), Cheju Island, Korea. pp. 377\u2013392. Kluwer Academic Publishers (Aug 2001), full version available as INRIA Research Report\u00a0RR-4223","key":"4_CR17","DOI":"10.1007\/0-306-47003-9_24"},{"doi-asserted-by":"crossref","unstructured":"Garavel, H., Lang, F., Mateescu, R.: Compositional Verification of Asynchronous Concurrent Systems Using CADP. Acta Informatica 52(4), 337\u2013392 (Apr 2015)","key":"4_CR18","DOI":"10.1007\/s00236-015-0226-1"},{"doi-asserted-by":"crossref","unstructured":"Garavel, H., Lang, F., Mateescu, R., Serwe, W.: CADP 2011: A Toolbox for the Construction and Analysis of Distributed Processes. Springer International Journal on Software Tools for Technology Transfer (STTT) 15(2), 89\u2013107 (Apr 2013)","key":"4_CR19","DOI":"10.1007\/s10009-012-0244-z"},{"unstructured":"van Glabbeek, R.J., Weijland, W.P.: Branching-Time and Abstraction in Bisimulation Semantics (extended abstract). CS R8911, Centrum voor Wiskunde en Informatica, Amsterdam (1989), also in proc. IFIP 11th World Computer Congress, San Francisco, 1989","key":"4_CR20"},{"doi-asserted-by":"publisher","unstructured":"van Glabbeek, R.J., Luttik, B., Trcka, N.: Branching bisimilarity with explicit divergence. Fundam. Inform. 93(4), 371\u2013392 (2009). https:\/\/doi.org\/10.3233\/FI-2009-109","key":"4_CR21","DOI":"10.3233\/FI-2009-109"},{"unstructured":"van Glabbeek, R.J., Luttik, B., Trcka, N.: Computation tree logic with deadlock detection. Logical Methods in Computer Science 5(4) (2009), http:\/\/arxiv.org\/abs\/0912.2109","key":"4_CR22"},{"doi-asserted-by":"crossref","unstructured":"van Glabbeek, R.J., Weijland, W.P.: Branching Time and Abstraction in Bisimulation Semantics. Journal of the ACM 43(3), 555\u2013600 (1996)","key":"4_CR23","DOI":"10.1145\/233551.233556"},{"doi-asserted-by":"crossref","unstructured":"Graf, S., Steffen, B.: Compositional Minimization of Finite State Systems. In: Clarke, E.M., Kurshan, R.P. (eds.) Proceedings of the 2nd Workshop on Computer-Aided Verification (CAV\u201990), Rutgers, New Jersey, USA. Lecture Notes in Computer Science, vol.\u00a0531, pp. 186\u2013196. Springer (Jun 1990)","key":"4_CR24","DOI":"10.1007\/BFb0023732"},{"doi-asserted-by":"crossref","unstructured":"Groote, J.F., Jansen, D.N., Keiren, J.J.A., Wijs, A.: An $$o(m\\ log\\ n)$$ algorithm for computing stuttering equivalence and branching bisimulation. ACM Transactions on Computational Logic 18(2) (2017)","key":"4_CR25","DOI":"10.1145\/3060140"},{"unstructured":"Groote, J., Ponse, A.: The Syntax and Semantics of $$\\mu $$CRL. CS-R\u00a09076, Centrum voor Wiskunde en Informatica, Amsterdam (1990)","key":"4_CR26"},{"doi-asserted-by":"crossref","unstructured":"Groote, J.F., Sellink, M.P.A.: Confluence for process verification. Theoretical Computer Science 170(1\u20132), 47\u201381 (1996)","key":"4_CR27","DOI":"10.1016\/S0304-3975(96)80702-X"},{"unstructured":"Groote, J., Pol, J.: State space reduction using partial $$\\tau $$-confluence. In: Nielsen, M., Rovan, B. (eds.) Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science (MFCS\u201900), Bratislava, Slovakia. Lecture Notes in Computer Science, vol.\u00a01893, pp. 383\u2013393. Springer (Aug 2000), also available as CWI Technical Report SEN-R0008, Amsterdam, March 2000","key":"4_CR28"},{"unstructured":"ISO\/IEC: LOTOS \u2013 A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour. International Standard\u00a08807, International Organization for Standardization \u2013 Information Processing Systems \u2013 Open Systems Interconnection, Geneva (Sep 1989)","key":"4_CR29"},{"unstructured":"ISO\/IEC: Enhancements to LOTOS (E-LOTOS). International Standard 15437:2001, International Organization for Standardization \u2013 Information Technology, Geneva (Sep 2001)","key":"4_CR30"},{"doi-asserted-by":"crossref","unstructured":"Kozen, D.: Results on the propositional $$\\mu $$-calculus. Theoretical Computer Science 27, 333\u2013354 (1983).","key":"4_CR31","DOI":"10.1016\/0304-3975(82)90125-6"},{"unstructured":"Krimm, J.P., Mounier, L.: Compositional State Space Generation from LOTOS Programs. In: Brinksma, E. (ed.) Proceedings of the 3rd International Workshop on Tools and Algorithms for the Construction and Analysis of Systems (TACAS\u201997), University of Twente, Enschede, The Netherlands. Lecture Notes in Computer Science, vol.\u00a01217. Springer (Apr 1997), extended version with proofs available as Research Report VERIMAG\u00a0RR97-01","key":"4_CR32"},{"doi-asserted-by":"crossref","unstructured":"Lang, F.: EXP.OPEN 2.0: A Flexible Tool Integrating Partial Order, Compositional, and On-the-fly Verification Methods. In: Romijn, J., Smith, G., van de Pol, J. (eds.) Proceedings of the 5th International Conference on Integrated Formal Methods (IFM\u201905), Eindhoven, The Netherlands. Lecture Notes in Computer Science, vol.\u00a03771, pp. 70\u201388. Springer (Nov 2005), full version available as INRIA Research Report\u00a0RR-5673","key":"4_CR33","DOI":"10.1007\/11589976_6"},{"doi-asserted-by":"crossref","unstructured":"Lang, F., Mateescu, R.: Partial Model Checking using Networks of Labelled Transition Systems and Boolean Equation Systems. Logical Methods in Computer Science 9(4), 1\u201332 (Oct 2013)","key":"4_CR34","DOI":"10.2168\/LMCS-9(4:1)2013"},{"doi-asserted-by":"crossref","unstructured":"Lang, F., Mateescu, R., Mazzanti, F.: Compositional verification of concurrent systems by combining bisimulations. In: McIver, A., ter Beek, M. (eds.) Proceedings of the 23rd International Symposium on Formal Methods \u2013 3rd World Congress on Formal Methods FM 2019 (Porto, Portugal). Lecture Notes in Computer Science, vol. 11800, pp. 196\u2013213. Springer (2019)","key":"4_CR35","DOI":"10.1007\/978-3-030-30942-8_13"},{"doi-asserted-by":"crossref","unstructured":"Malhotra, J., Smolka, S.A., Giacalone, A., Shapiro, R.: A Tool for Hierarchical Design and Simulation of Concurrent Systems. In: Proceedings of the BCS-FACS Workshop on Specification and Verification of Concurrent Systems, Stirling, Scotland, UK. pp. 140\u2013152. British Computer Society (Jul 1988)","key":"4_CR36","DOI":"10.1007\/978-1-4471-3534-0_7"},{"unstructured":"Mateescu, R., Wijs, A.: Property-Dependent Reductions Adequate with Divergence-Sensitive Branching Bisimilarity. Sci. Comput. Program. 96(3), 354\u2013376 (2014)","key":"4_CR37"},{"unstructured":"Milner, R.: Communication and Concurrency. Prentice-Hall (1989)","key":"4_CR38"},{"doi-asserted-by":"crossref","unstructured":"Nicola, R.D., Vaandrager, F.W.: Action versus State based Logics for Transition Systems, Lecture Notes in Computer Science, vol.\u00a0469, pp. 407\u2013419. Springer (Apr 1990)","key":"4_CR39","DOI":"10.1007\/3-540-53479-2_17"},{"doi-asserted-by":"crossref","unstructured":"Park, D.: Concurrency and Automata on Infinite Sequences. In: Deussen, P. (ed.) Theoretical Computer Science. Lecture Notes in Computer Science, vol.\u00a0104, pp. 167\u2013183. Springer (Mar 1981)","key":"4_CR40","DOI":"10.1007\/BFb0017309"},{"unstructured":"Pnueli, A.: In transition from global to modular temporal reasoning about programs. Logic and Models of Concurrent Systems 13, 123\u2013144 (1984)","key":"4_CR41"},{"unstructured":"de\u00a0Putter, S., Wijs, A., Lang, F.: Compositional model checking is lively \u2014 extended version (2019), submitted to Science of Computer Programming","key":"4_CR42"},{"doi-asserted-by":"crossref","unstructured":"Sabnani, K.K., Lapone, A.M., \u00dcmit Uyar, M.: An Algorithmic Procedure for Checking Safety Properties of Protocols. IEEE Transactions on Communications 37(9), 940\u2013948 (Sep 1989)","key":"4_CR43","DOI":"10.1109\/26.35374"},{"doi-asserted-by":"crossref","unstructured":"Streett, R.: Propositional dynamic logic of looping and converse. Information and Control (54), 121\u2013141 (1982).","key":"4_CR44","DOI":"10.1016\/S0019-9958(82)91258-X"},{"unstructured":"Tai, K.C., Koppol, P.V.: An Incremental Approach to Reachability Analysis of Distributed Programs. In: Proceedings of the 7th International Workshop on Software Specification and Design, Los Angeles, CA, USA. pp. 141\u2013150. IEEE Press, Piscataway, NJ (Dec 1993)","key":"4_CR45"},{"unstructured":"Tai, K.C., Koppol, P.V.: Hierarchy-Based Incremental Reachability Analysis of Communication Protocols. In: Proceedings of the IEEE International Conference on Network Protocols, San Francisco, CA, USA. pp. 318\u2013325. IEEE Press, Piscataway, NJ (Oct 1993)","key":"4_CR46"},{"doi-asserted-by":"crossref","unstructured":"Valmari, A.: Compositional State Space Generation. In: Rozenberg, G. (ed.) Advances in Petri Nets 1993 \u2013 Papers from the 12th International Conference on Applications and Theory of Petri Nets (ICATPN\u201991), Gjern, Denmark. Lecture Notes in Computer Science, vol.\u00a0674, pp. 427\u2013457. Springer (1993)","key":"4_CR47","DOI":"10.1007\/3-540-56689-9_54"},{"key":"4_CR48","doi-asserted-by":"publisher","first-page":"120","DOI":"10.1016\/j.tcs.2015.05.013","volume":"594","author":"N Yatapanage","year":"2015","unstructured":"Yatapanage, N., Winter, K.: Next-preserving branching bisimulation. Theoretical Computer Science 594, 120\u2013142 (2015)","journal-title":"Theoretical Computer Science"},{"doi-asserted-by":"crossref","unstructured":"Yeh, W.J., Young, M.: Compositional Reachability Analysis Using Process Algebra. In: Proceedings of the ACM SIGSOFT Symposium on Testing, Analysis, and Verification (SIGSOFT\u201991), Victoria, British Columbia, Canada. pp. 49\u201359. ACM Press (Oct 1991)","key":"4_CR49","DOI":"10.1145\/120807.120812"},{"key":"4_CR50","doi-asserted-by":"publisher","first-page":"465","DOI":"10.1016\/S0304-3975(99)00084-5","volume":"238","author":"M Ying","year":"2000","unstructured":"Ying, M.: Weak confluence and $$\\tau $$-inertness. Theoretical Computer Science 238, 465\u2013475 (2000)","journal-title":"Theoretical Computer Science"}],"container-title":["Lecture Notes in Computer Science","Tools and Algorithms for the Construction and Analysis of Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-45237-7_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,3,22]],"date-time":"2021-03-22T18:04:03Z","timestamp":1616436243000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-45237-7_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030452360","9783030452377"],"references-count":50,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-45237-7_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"17 April 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"TACAS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Tools and Algorithms for the Construction and Analysis of Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Dublin","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Ireland","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2020","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"25 April 2020","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"30 April 2020","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"tacas2020","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.etaps.org\/2020\/tacas","order":11,"name":"conference_url","label":"Conference URL","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":"155","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":"40","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":"8","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":"26% - 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":"14","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":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"The conference could not take place due to the COVID-19 pandemic. There was an online event on July 2, 2020.","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}