{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T16:14:43Z","timestamp":1742919283700,"version":"3.40.3"},"publisher-location":"Cham","reference-count":36,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031521829"},{"type":"electronic","value":"9783031521836"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024]]},"DOI":"10.1007\/978-3-031-52183-6_10","type":"book-chapter","created":{"date-parts":[[2024,1,12]],"date-time":"2024-01-12T18:03:10Z","timestamp":1705082590000},"page":"194-205","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Overview on\u00a0Constrained Multiparty Synchronisation in\u00a0Team Automata"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-0971-8919","authenticated-orcid":false,"given":"Jos\u00e9","family":"Proen\u00e7a","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2024,1,13]]},"reference":[{"key":"10_CR1","doi-asserted-by":"publisher","unstructured":"Arbach, Y., Karcher, D.S., Peters, K., Nestmann, U.: Dynamic causality in event structures. Log. Methods Comput. Sci. 14(1) (2018). https:\/\/doi.org\/10.23638\/LMCS-14(1:17)2018","DOI":"10.23638\/LMCS-14(1:17)2018"},{"issue":"2","key":"10_CR2","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1016\/j.scico.2005.10.008","volume":"61","author":"C Baier","year":"2006","unstructured":"Baier, C., Sirjani, M., Arbab, F., Rutten, J.J.M.M.: Modeling component connectors in Reo by constraint automata. Sci. Comput. Program. 61(2), 75\u2013113 (2006). https:\/\/doi.org\/10.1016\/j.scico.2005.10.008","journal-title":"Sci. Comput. Program."},{"key":"10_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"86","DOI":"10.1007\/978-3-030-50029-0_6","volume-title":"Coordination Models and Languages","author":"F Barbanera","year":"2020","unstructured":"Barbanera, F., Lanese, I., Tuosto, E.: Choreography automata. In: Bliudze, S., Bocchi, L. (eds.) COORDINATION 2020. LNCS, vol. 12134, pp. 86\u2013106. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-50029-0_6"},{"key":"10_CR4","doi-asserted-by":"publisher","unstructured":"Barbanera, F., Lanese, I., Tuosto, E.: Formal choreographic languages. In: ter Beek, M.H., Sirjani, M. (eds.) COORDINATION. LNCS, vol. 13271, pp. 121\u2013139. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-031-08143-9_8","DOI":"10.1007\/978-3-031-08143-9_8"},{"key":"10_CR5","unstructured":"ter Beek, M.H.: Team automata: a formal approach to the modeling of collaboration between system components. Ph.D. thesis, Leiden University (2003)"},{"key":"10_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"256","DOI":"10.1007\/978-3-319-59746-1_14","volume-title":"Coordination Models and Languages","author":"MH ter Beek","year":"2017","unstructured":"ter Beek, M.H., Carmona, J., Hennicker, R., Kleijn, J.: Communication requirements for team automata. In: Jacquet, J.-M., Massink, M. (eds.) COORDINATION 2017. LNCS, vol. 10319, pp. 256\u2013277. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-59746-1_14"},{"key":"10_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"784","DOI":"10.1007\/978-3-319-47166-2_55","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques","author":"MH ter Beek","year":"2016","unstructured":"ter Beek, M.H., Carmona, J., Kleijn, J.: Conditions for compatibility of components. In: Margaria, T., Steffen, B. (eds.) ISoLA 2016. LNCS, vol. 9952, pp. 784\u2013805. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-47166-2_55"},{"key":"10_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"483","DOI":"10.1007\/978-3-030-90870-6_26","volume-title":"Formal Methods","author":"MH ter Beek","year":"2021","unstructured":"ter Beek, M.H., Cledou, G., Hennicker, R., Proen\u00e7a, J.: Featured team automata. In: Huisman, M., P\u0103s\u0103reanu, C., Zhan, N. (eds.) FM 2021. LNCS, vol. 13047, pp. 483\u2013502. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-90870-6_26"},{"issue":"1","key":"10_CR9","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1023\/A:1022407907596","volume":"12","author":"MH ter Beek","year":"2003","unstructured":"ter Beek, M.H., Ellis, C.A., Kleijn, J., Rozenberg, G.: Synchronizations in team automata for groupware systems. Comput. Sup. Coop. Work 12(1), 21\u201369 (2003). https:\/\/doi.org\/10.1023\/A:1022407907596","journal-title":"Comput. Sup. Coop. Work"},{"key":"10_CR10","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1016\/j.entcs.2007.08.022","volume":"195","author":"MH ter Beek","year":"2008","unstructured":"ter Beek, M.H., Gadducci, F., Janssens, D.: A calculus for team automata. ENTCS 195, 41\u201355 (2008). https:\/\/doi.org\/10.1016\/j.entcs.2007.08.022","journal-title":"ENTCS"},{"key":"10_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/978-3-030-64276-1_11","volume-title":"Theoretical Aspects of Computing \u2013 ICTAC 2020","author":"MH ter Beek","year":"2020","unstructured":"ter Beek, M.H., Hennicker, R., Kleijn, J.: Compositionality of safe communication in systems of team automata. In: Pun, V.K.I., Stolz, V., Simao, A. (eds.) ICTAC 2020. LNCS, vol. 12545, pp. 200\u2013220. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-64276-1_11"},{"key":"10_CR12","doi-asserted-by":"publisher","unstructured":"ter Beek, M.H., Hennicker, R., Proen\u00e7a, J.: Realisability of global models of interaction. In: \u00c1brah\u00e1m, E., Dubslaff, C., Tarifa, S.L.T. (eds.) Theoretical Aspects of Computing \u2013 ICTAC 2023. LNCS, vol. 14446, pp. 236\u2013255. Springer, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-47963-2_15","DOI":"10.1007\/978-3-031-47963-2_15"},{"key":"10_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"381","DOI":"10.1007\/978-3-540-45236-2_22","volume-title":"FME 2003: Formal Methods","author":"MH ter Beek","year":"2003","unstructured":"ter Beek, M.H., Kleijn, J.: Team automata satisfying compositionality. In: Araki, K., Gnesi, S., Mandrioli, D. (eds.) FME 2003. LNCS, vol. 2805, pp. 381\u2013400. Springer, Heidelberg (2003). https:\/\/doi.org\/10.1007\/978-3-540-45236-2_22"},{"key":"10_CR14","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1016\/j.tcs.2011.12.020","volume":"429","author":"MH ter Beek","year":"2012","unstructured":"ter Beek, M.H., Kleijn, J.: Vector team automata. Theor. Comput. Sci. 429, 21\u201329 (2012). https:\/\/doi.org\/10.1016\/j.tcs.2011.12.020","journal-title":"Theor. Comput. Sci."},{"issue":"5","key":"10_CR15","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1016\/j.entcs.2004.11.044","volume":"128","author":"MH ter Beek","year":"2005","unstructured":"ter Beek, M.H., Lenzini, G., Petrocchi, M.: Team automata for security: a survey. Electron. Notes Theor. Comput. Sci. 128(5), 105\u2013119 (2005). https:\/\/doi.org\/10.1016\/j.entcs.2004.11.044","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"10_CR16","doi-asserted-by":"publisher","unstructured":"ter Beek, M.H., Cledou, G., Hennicker, R., Proen\u00e7a, J.: Can we communicate? Using dynamic logic to verify team automata. In: Chechik, M., Katoen, J.P., Leucker, M. (eds.) Proceedings of the 25th International Symposium on Formal Methods (FM 2023). LNCS, vol. 14000. Springer, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-27481-7_9","DOI":"10.1007\/978-3-031-27481-7_9"},{"key":"10_CR17","doi-asserted-by":"publisher","unstructured":"ter Beek, M.H., Lenzini, G., Petrocchi, M.: A team automaton scenario for the analysis of security properties of communication protocols. J. Autom. Lang. Comb. 11(4), 345\u2013374 (2006). https:\/\/doi.org\/10.25596\/jalc-2006-345","DOI":"10.25596\/jalc-2006-345"},{"key":"10_CR18","doi-asserted-by":"publisher","unstructured":"Behrmann, G., David, A., Larsen, K.G.: A tutorial on Uppaal. In: Bernardo, M., Corradini, F. (eds.) Formal Methods for the Design of Real-Time Systems, International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM-RT 2004, Bertinoro, Italy, 13\u201318 September 2004, Revised Lectures. LNCS, vol. 3185, pp. 200\u2013236. Springer, Cham (2004). https:\/\/doi.org\/10.1007\/978-3-540-30080-9_7","DOI":"10.1007\/978-3-540-30080-9_7"},{"issue":"5","key":"10_CR19","doi-asserted-by":"publisher","first-page":"811","DOI":"10.1093\/logcom\/4.5.811","volume":"4","author":"J van Benthem","year":"1994","unstructured":"van Benthem, J., van Eijck, J., Stebletsova, V.: Modal logic, transition systems and processes. J. Log. Comput. 4(5), 811\u2013855 (1994). https:\/\/doi.org\/10.1093\/logcom\/4.5.811","journal-title":"J. Log. Comput."},{"issue":"10","key":"10_CR20","doi-asserted-by":"publisher","first-page":"1315","DOI":"10.1109\/TC.2008.26","volume":"57","author":"S Bliudze","year":"2008","unstructured":"Bliudze, S., Sifakis, J.: The algebra of connectors - structuring interaction in BIP. IEEE Trans. Comput. 57(10), 1315\u20131330 (2008). https:\/\/doi.org\/10.1109\/TC.2008.26","journal-title":"IEEE Trans. Comput."},{"key":"10_CR21","doi-asserted-by":"publisher","unstructured":"Bunte, O., et al.: The mCRL2 toolset for analysing concurrent systems. In: TACAS. LNCS, vol. 11428, pp. 21\u201339. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-17465-1_2","DOI":"10.1007\/978-3-030-17465-1_2"},{"key":"10_CR22","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.tcs.2013.03.006","volume":"484","author":"J Carmona","year":"2013","unstructured":"Carmona, J., Kleijn, J.: Compatibility in a multi-component environment. Theor. Comput. Sci. 484, 1\u201315 (2013). https:\/\/doi.org\/10.1016\/j.tcs.2013.03.006","journal-title":"Theor. Comput. Sci."},{"key":"10_CR23","doi-asserted-by":"publisher","unstructured":"de Alfaro, L., Henzinger, T.A.: Interface automata. In: ESEC\/FSE, pp. 109\u2013120. ACM (2001). https:\/\/doi.org\/10.1145\/503209.503226","DOI":"10.1145\/503209.503226"},{"issue":"1","key":"10_CR24","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1016\/j.jlamp.2016.09.008","volume":"86","author":"K Dokter","year":"2017","unstructured":"Dokter, K., Jongmans, S., Arbab, F., Bliudze, S.: Combine and conquer: relating BIP and Reo. J. Log. Algebraic Methods Program. 86(1), 134\u2013156 (2017). https:\/\/doi.org\/10.1016\/j.jlamp.2016.09.008","journal-title":"J. Log. Algebraic Methods Program."},{"key":"10_CR25","doi-asserted-by":"publisher","unstructured":"al Duhaiby, O., Groote, J.F.: Active learning of decomposable systems. In: Bae, K., Bianculli, D., Gnesi, S., Plat, N. (eds.) FormaliSE@ICSE 2020: 8th International Conference on Formal Methods in Software Engineering, Seoul, Republic of Korea, 13 July 2020, pp. 1\u201310. ACM (2020). https:\/\/doi.org\/10.1145\/3372020.3391560","DOI":"10.1145\/3372020.3391560"},{"key":"10_CR26","doi-asserted-by":"publisher","unstructured":"Ellis, C.A.: Team automata for groupware systems. In: Proceedings of the 1st International ACM SIGGROUP Conference on Supporting Group Work (GROUP), pp. 415\u2013424. ACM (1997). https:\/\/doi.org\/10.1145\/266838.267363","DOI":"10.1145\/266838.267363"},{"key":"10_CR27","doi-asserted-by":"publisher","unstructured":"Farhat, S., Bliudze, S., Duchien, L., Kouchnarenko, O.: Toward run-time coordination of reconfiguration requests in cloud computing systems. In: Jongmans, S., Lopes, A. (eds.) Coordination Models and Languages - 25th IFIP WG 6.1 International Conference, COORDINATION 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, 19\u201323 June 2023, Proceedings. LNCS, vol. 13908, pp. 271\u2013291. Springer, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-35361-1_15","DOI":"10.1007\/978-3-031-35361-1_15"},{"key":"10_CR28","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1016\/j.jlamp.2018.12.002","volume":"104","author":"S Ghilezan","year":"2019","unstructured":"Ghilezan, S., Jaksic, S., Pantovic, J., Scalas, A., Yoshida, N.: Precise subtyping for synchronous multiparty sessions. J. Log. Algebraic Methods Program. 104, 127\u2013173 (2019). https:\/\/doi.org\/10.1016\/j.jlamp.2018.12.002","journal-title":"J. Log. Algebraic Methods Program."},{"issue":"1","key":"10_CR29","doi-asserted-by":"publisher","first-page":"201","DOI":"10.7561\/SACS.2012.1.201","volume":"22","author":"STQ Jongmans","year":"2012","unstructured":"Jongmans, S.T.Q., Arbab, F.: Overview of thirty semantic formalisms for Reo. Sci. Ann. Comput. Sci. 22(1), 201\u2013251 (2012). https:\/\/doi.org\/10.7561\/SACS.2012.1.201","journal-title":"Sci. Ann. Comput. Sci."},{"issue":"2","key":"10_CR30","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1007\/s00165-011-0191-6","volume":"24","author":"N Kokash","year":"2012","unstructured":"Kokash, N., Krause, C., de Vink, E.P.: Reo + mCRL2: a framework for model-checking dataflow in service compositions. Formal Aspects Comput. 24(2), 187\u2013216 (2012). https:\/\/doi.org\/10.1007\/s00165-011-0191-6","journal-title":"Formal Aspects Comput."},{"key":"10_CR31","unstructured":"Lynch, N.A., Tuttle, M.R.: An introduction to Input\/Output automata. CWI Q. 2(3), 219\u2013246 (1989). https:\/\/ir.cwi.nl\/pub\/18164"},{"issue":"4","key":"10_CR32","doi-asserted-by":"publisher","first-page":"1181","DOI":"10.1007\/s10270-015-0475-z","volume":"15","author":"R Muschevici","year":"2016","unstructured":"Muschevici, R., Proen\u00e7a, J., Clarke, D.: Feature Nets: behavioural modelling of software product lines. Softw. Sys. Model. 15(4), 1181\u20131206 (2016). https:\/\/doi.org\/10.1007\/s10270-015-0475-z","journal-title":"Softw. Sys. Model."},{"key":"10_CR33","doi-asserted-by":"publisher","unstructured":"Orlando, S., Pasquale, V.D., Barbanera, F., Lanese, I., Tuosto, E.: Corinne, a tool for choreography automata. In: Sala\u00fcn, G., Wijs, A. (eds.) Formal Aspects of Component Software - 17th International Conference, FACS 2021, Virtual Event, 28\u201329 October 2021, Proceedings. LNCS, vol. 13077, pp. 82\u201392. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-90636-8_5","DOI":"10.1007\/978-3-030-90636-8_5"},{"key":"10_CR34","doi-asserted-by":"publisher","unstructured":"Proen\u00e7a, J., Clarke, D.: Typed connector families. In: Braga, C., \u00d6lveczky, P.C. (eds.) Formal Aspects of Component Software - 12th International Conference, FACS 2015, Niter\u00f3i, Brazil, 14\u201316 October 2015, Revised Selected Papers. LNCS, vol. 9539, pp. 294\u2013311. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-28934-2_16","DOI":"10.1007\/978-3-319-28934-2_16"},{"key":"10_CR35","doi-asserted-by":"publisher","unstructured":"Proen\u00e7a, J., Madeira, A.: Taming hierarchical connectors. In: Hojjat, H., Massink, M. (eds.) Fundamentals of Software Engineering - 8th International Conference, FSEN 2019, Tehran, Iran, 1\u20133 May 2019, Revised Selected Papers. LNCS, vol. 11761, pp. 186\u2013193. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-31517-7_13","DOI":"10.1007\/978-3-030-31517-7_13"},{"issue":"1\u20133","key":"10_CR36","doi-asserted-by":"publisher","first-page":"267","DOI":"10.3233\/FI-2019-1863","volume":"170","author":"P Severi","year":"2019","unstructured":"Severi, P., Dezani-Ciancaglini, M.: Observational equivalence for multiparty sessions. Fundam. Informaticae 170(1\u20133), 267\u2013305 (2019). https:\/\/doi.org\/10.3233\/FI-2019-1863","journal-title":"Fundam. Informaticae"}],"container-title":["Lecture Notes in Computer Science","Formal Aspects of Component Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-52183-6_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,12]],"date-time":"2024-01-12T18:04:28Z","timestamp":1705082668000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-52183-6_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031521829","9783031521836"],"references-count":36,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-52183-6_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"13 January 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"FACS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Formal Aspects of Component Software","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2023","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26 October 2023","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27 October 2023","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"facs2023","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/facs-conference.github.io\/2023\/","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":"23","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":"0","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":"48% - 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":"2","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":"6 regular papers 5 anniversary papers (by invitation, but peer-reviewed)","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)"}}]}}