{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,26]],"date-time":"2026-05-26T08:03:16Z","timestamp":1779782596897,"version":"3.53.1"},"reference-count":31,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2026,3,26]],"date-time":"2026-03-26T00:00:00Z","timestamp":1774483200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2026,3,26]],"date-time":"2026-03-26T00:00:00Z","timestamp":1774483200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100005760","name":"University of Gothenburg","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100005760","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Int J Softw Tools Technol Transfer"],"published-print":{"date-parts":[[2026,4]]},"abstract":"<jats:title>Abstract<\/jats:title>\n                  <jats:p>\n                    Autonomous multi-agent systems use different modes of communication to support their autonomy and ease of interaction. In order to enable modelling and reasoning about such systems, we need frameworks that combine many forms of communication.\n                    <jats:sc>R-CHECK<\/jats:sc>\n                    is a modelling, simulation, and verification environment supporting the development of multi-agent systems, providing attributed channelled broadcast and multicast communication. Another common communication mode is point-to-point, wherein agents communicate with each other directly. Capturing point-to-point through\n                    <jats:sc>R-CHECK<\/jats:sc>\n                    \u2019s multicast and broadcast is possible, but cumbersome and prone to interference. Here, we extend\n                    <jats:sc>R-CHECK<\/jats:sc>\n                    (and its underlying formal calculus\n                    <jats:sc>ReCiPe<\/jats:sc>\n                    ) with bidirectional attributed point-to-point communication, which can be established based on identity or properties of participants. Moreover, we provide a compositional semantics that clearly describes how different modes of interaction co-exist without interference. We also support model-checking of point-to-point interactions by extending linear temporal logic with observation descriptors related to the participants in this communication mode. We argue that these extensions simplify the design, and demonstrate their benefits by means of an illustrative case study.\n                  <\/jats:p>","DOI":"10.1007\/s10009-026-00861-1","type":"journal-article","created":{"date-parts":[[2026,3,26]],"date-time":"2026-03-26T09:32:18Z","timestamp":1774517538000},"page":"199-218","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["A compositional semantics for reconfigurable multi-mode interaction in R-CHECK"],"prefix":"10.1007","volume":"28","author":[{"given":"Yehia","family":"Abd\u00a0Alrahman","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Shaun","family":"Azzopardi","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Luca","family":"Di Stefano","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Nir","family":"Piterman","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2026,3,26]]},"reference":[{"key":"861_CR1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-020-00553-4","author":"Y. Abd Alrahman","year":"2020","unstructured":"Abd Alrahman, Y., Garbi, G.: A distributed API for coordinating AbC programs. Int. J. Softw. Tools Technol. Transf. (2020). https:\/\/doi.org\/10.1007\/s10009-020-00553-4","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"issue":"2","key":"861_CR2","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1007\/s10458-021-09521-x","volume":"35","author":"Y. Abd Alrahman","year":"2021","unstructured":"Abd Alrahman, Y., Piterman, N.: Modelling and verification of reconfigurable multi-agent systems. Auton. Agents Multi-Agent Syst. 35(2), 47 (2021). https:\/\/doi.org\/10.1007\/s10458-021-09521-x","journal-title":"Auton. Agents Multi-Agent Syst."},{"key":"861_CR3","doi-asserted-by":"publisher","first-page":"1840","DOI":"10.1145\/2695664.2695668","volume-title":"Proceedings of the 30th Annual ACM Symposium on Applied Computing","author":"Y. Abd Alrahman","year":"2015","unstructured":"Abd Alrahman, Y., De Nicola, R., Loreti, M., Tiezzi, F., Vigo, R.: A calculus for attribute-based communication. In: Wainwright, R.L., Corchado, J.M., Bechini, A., Hong, J. (eds.) Proceedings of the 30th Annual ACM Symposium on Applied Computing, Salamanca, Spain, April 13\u201317, 2015, pp.\u00a01840\u20131845. ACM, New York (2015). https:\/\/doi.org\/10.1145\/2695664.2695668"},{"key":"861_CR4","doi-asserted-by":"publisher","unstructured":"Abd Alrahman, Y., De Nicola, R., Loreti, M.: On the power of attribute-based communication. In: Albert, E., Lanese, I. (eds.) Formal Techniques for Distributed Objects, Components, and Systems - 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6\u20139, 2016, Proceedings. Lecture Notes in Computer Science, vol.\u00a09688, pp.\u00a01\u201318. Springer, Berlin (2016). https:\/\/doi.org\/10.1007\/978-3-319-39570-8_1","DOI":"10.1007\/978-3-319-39570-8_1"},{"key":"861_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"288","DOI":"10.1007\/978-3-030-03424-5_19","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems - 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5\u20139, 2018, Proceedings, Part III","author":"Y. Abd Alrahman","year":"2018","unstructured":"Abd Alrahman, Y., De Nicola, R., Garbi, G.: Goat: attribute-based interaction in Google go. In: Margaria, T., Steffen, B. (eds.) Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems - 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5\u20139, 2018, Proceedings, Part III. Lecture Notes in Computer Science, vol.\u00a011246, pp.\u00a0288\u2013303. Springer, Berlin (2018). https:\/\/doi.org\/10.1007\/978-3-030-03424-5_19"},{"key":"861_CR6","doi-asserted-by":"publisher","unstructured":"Abd Alrahman, Y., De Nicola, R., Garbi, G., Loreti, M.: A distributed coordination infrastructure for attribute-based interaction. In: Baier, C., Caires, L. (eds.) Formal Techniques for Distributed Objects, Components, and Systems - 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18\u201321, 2018, Proceedings. Lecture Notes in Computer Science, vol.\u00a010854, pp.\u00a01\u201320. Springer, Berlin (2018). https:\/\/doi.org\/10.1007\/978-3-319-92612-4_1","DOI":"10.1007\/978-3-319-92612-4_1"},{"key":"861_CR7","doi-asserted-by":"publisher","unstructured":"Abd Alrahman, Y., De Nicola, R., Loreti, M.: A calculus for collective-adaptive systems and its behavioural theory. Inf. Comput. 268 (2019). https:\/\/doi.org\/10.1016\/j.ic.2019.104457","DOI":"10.1016\/j.ic.2019.104457"},{"key":"861_CR8","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2020.102428","volume":"192","author":"Y. Abd Alrahman","year":"2020","unstructured":"Abd Alrahman, Y., De Nicola, R., Loreti, M.: Programming interactions in collective adaptive systems by relying on attribute-based communication. Sci. Comput. Program. 192, 102428 (2020). https:\/\/doi.org\/10.1016\/j.scico.2020.102428","journal-title":"Sci. Comput. Program."},{"key":"861_CR9","doi-asserted-by":"publisher","first-page":"7","DOI":"10.5555\/3398761.3398768","volume-title":"Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, AAMAS \u201920","author":"Y. Abd Alrahman","year":"2020","unstructured":"Abd Alrahman, Y., Perelli, G., Piterman, N.: Reconfigurable interaction for MAS modelling. In: Seghrouchni, A.E.F., Sukthankar, G., An, B., Yorke-Smith, N. (eds.) Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, AAMAS \u201920, Auckland, New Zealand, May 9\u201313, 2020, pp.\u00a07\u201315. International Foundation for Autonomous Agents and Multiagent Systems (2020). https:\/\/doi.org\/10.5555\/3398761.3398768"},{"key":"861_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"373","DOI":"10.1007\/978-3-031-19759-8_23","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning - 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22\u201330, 2022, Proceedings, Part III","author":"Y. Abd Alrahman","year":"2022","unstructured":"Abd Alrahman, Y., Azzopardi, S., Piterman, N.: Model checking reconfigurable interacting systems. In: Margaria, T., Steffen, B. (eds.) Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning - 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22\u201330, 2022, Proceedings, Part III. Lecture Notes in Computer Science, vol.\u00a013703, pp.\u00a0373\u2013389. Springer (2022). https:\/\/doi.org\/10.1007\/978-3-031-19759-8_23"},{"key":"861_CR11","doi-asserted-by":"publisher","first-page":"1518","DOI":"10.5555\/3535850.3536020","volume-title":"Proceedings of the 21st International Conference on Autonomous Agents and Multiagent Systems, AAMAS \u201922","author":"Y. Abd Alrahman","year":"2022","unstructured":"Abd Alrahman, Y., Azzopardi, S., Piterman, N.: R-check: a model checker for verifying reconfigurable mas. In: Proceedings of the 21st International Conference on Autonomous Agents and Multiagent Systems, AAMAS \u201922, pp.\u00a01518\u20131520. International Foundation for Autonomous Agents and Multiagent Systems, Richland (2022). https:\/\/doi.org\/10.5555\/3535850.3536020"},{"issue":"5","key":"861_CR12","doi-asserted-by":"publisher","first-page":"765","DOI":"10.1007\/S10009-023-00729-8","volume":"25","author":"Y. Abd Alrahman","year":"2023","unstructured":"Abd Alrahman, Y., Azzopardi, S., Di Stefano, L., Piterman, N.: Language support for verifying reconfigurable interacting systems. Int. J. Softw. Tools Technol. Transf. 25(5), 765\u2013784 (2023). https:\/\/doi.org\/10.1007\/S10009-023-00729-8","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"861_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1007\/978-3-031-75107-3_20","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems - 12th International Symposium, ISoLA 2024, Crete, Greece, October 27\u201331, 2024, Proceedings, Part II","author":"Y. Abd Alrahman","year":"2024","unstructured":"Abd Alrahman, Y., Azzopardi, S., Di Stefano, L., Piterman, N.: Attributed point-to-point communication in R-CHECK. In: Margaria, T., Steffen, B. (eds.) Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems - 12th International Symposium, ISoLA 2024, Crete, Greece, October 27\u201331, 2024, Proceedings, Part II. Lecture Notes in Computer Science, vol.\u00a015220, pp.\u00a0333\u2013350. Springer (2024). https:\/\/doi.org\/10.1007\/978-3-031-75107-3_20"},{"issue":"OOPSLA2","key":"861_CR14","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1145\/3563293","volume":"6","author":"E. Ahrens","year":"2022","unstructured":"Ahrens, E., Bozga, M., Iosif, R., Katoen, J.P.: Reasoning about distributed reconfigurable systems. Proc. ACM Program. Lang. 6(OOPSLA2), 145\u2013174 (2022). https:\/\/doi.org\/10.1145\/3563293","journal-title":"Proc. ACM Program. Lang."},{"issue":"5","key":"861_CR15","doi-asserted-by":"publisher","first-page":"701","DOI":"10.1007\/s10009-020-00596-7","volume":"23","author":"R.E. Ballouli","year":"2021","unstructured":"Ballouli, R.E., Bensalem, S., Bozga, M., Sifakis, J.: Programming dynamic reconfigurable systems. Int. J. Softw. Tools Technol. Transf. 23(5), 701\u2013719 (2021). https:\/\/doi.org\/10.1007\/s10009-020-00596-7","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"issue":"10","key":"861_CR16","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\u2014structuring 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":"861_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"334","DOI":"10.1007\/978-3-319-08867-9_22","volume-title":"Computer Aided Verification - 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18\u201322, 2014. Proceedings","author":"R. Cavada","year":"2014","unstructured":"Cavada, R., Cimatti, A., Dorigatti, M., Griggio, A., Mariotti, A., Micheli, A., Mover, S., Roveri, M., Tonetta, S.: The nuxmv symbolic model checker. In: Computer Aided Verification - 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18\u201322, 2014. Proceedings. Lecture Notes in Computer Science, vol.\u00a08559, pp.\u00a0334\u2013342. Springer, Berlin (2014). https:\/\/doi.org\/10.1007\/978-3-319-08867-9_22"},{"issue":"2\u20133","key":"861_CR18","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1016\/0004-3702(90)90055-5","volume":"42","author":"P.R. Cohen","year":"1990","unstructured":"Cohen, P.R., Levesque, H.J.: Intention is choice with commitment. Artif. Intell. 42(2\u20133), 213\u2013261 (1990). https:\/\/doi.org\/10.1016\/0004-3702(90)90055-5","journal-title":"Artif. Intell."},{"issue":"3","key":"861_CR19","doi-asserted-by":"publisher","first-page":"387","DOI":"10.1016\/J.TCS.2006.02.007","volume":"356","author":"R. De Nicola","year":"2006","unstructured":"De Nicola, R., Gorla, D., Pugliese, R.: On the expressive power of KLAIM-based calculi. Theor. Comput. Sci. 356(3), 387\u2013421 (2006). https:\/\/doi.org\/10.1016\/J.TCS.2006.02.007","journal-title":"Theor. Comput. Sci."},{"key":"861_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-319-16310-9_1","volume-title":"Software Engineering for Collective Autonomic Systems - the ASCENS Approach","author":"R. De Nicola","year":"2015","unstructured":"De Nicola, R., Latella, D., Lluch-Lafuente, A., Loreti, M., Margheri, A., Massink, M., Morichetta, A., Pugliese, R., Tiezzi, F., Vandin, A.: The SCEL language: design, implementation, verification. In: Wirsing, M., H\u00f6lzl, M.M., Koch, N., Mayer, P. (eds.) Software Engineering for Collective Autonomic Systems - the ASCENS Approach. Lecture Notes in Computer Science, vol.\u00a08998, pp.\u00a03\u201371. Springer, Berlin (2015). https:\/\/doi.org\/10.1007\/978-3-319-16310-9_1"},{"key":"861_CR21","doi-asserted-by":"publisher","first-page":"258","DOI":"10.1007\/3-540-48321-7_21","volume-title":"Fundamentals of Computation Theory","author":"C. Ene","year":"1999","unstructured":"Ene, C., Muntean, T.: Expressiveness of point-to-point versus broadcast communications. In: Ciobanu, G., P\u0103un, G. (eds.) Fundamentals of Computation Theory, pp.\u00a0258\u2013268. Springer, Berlin (1999)"},{"key":"861_CR22","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/5803.001.0001","volume-title":"Reasoning About Knowledge","author":"R. Fagin","year":"1995","unstructured":"Fagin, R., Halpern, J., Moses, Y., Vardi, M.Y.: Reasoning About Knowledge. MIT Press, Cambridge (1995)"},{"key":"861_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45834-4","volume-title":"Autonomous Dynamic Reconfiguration in Multi-Agent Systems, Improving the Quality and Efficiency of Collaborative Problem Solving","author":"M. Hannebauer","year":"2002","unstructured":"Hannebauer, M.: Autonomous Dynamic Reconfiguration in Multi-Agent Systems, Improving the Quality and Efficiency of Collaborative Problem Solving. Lecture Notes in Computer Science, vol.\u00a02427. Springer, Berlin (2002). https:\/\/doi.org\/10.1007\/3-540-45834-4"},{"key":"861_CR24","unstructured":"Huang, X., Chen, Q., Meng, J., Su, K.: Reconfigurability in reactive multiagent systems. In: Kambhampati, S. (ed.) Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016, New York, NY, USA, 9\u201315 July 2016, pp.\u00a0315\u2013321. IJCAI\/AAAI Press (2016). http:\/\/www.ijcai.org\/Abstract\/16\/052"},{"key":"861_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/978-3-319-34096-8_4","volume-title":"Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems - 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20\u201324, 2016, Advanced Lectures","author":"M. Loreti","year":"2016","unstructured":"Loreti, M., Hillston, J.: Modelling and analysis of collective adaptive systems with CARMA and its tools. In: Bernardo, M., De Nicola, R., Hillston, J. (eds.) Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems - 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20\u201324, 2016, Advanced Lectures. Lecture Notes in Computer Science, vol.\u00a09700, pp.\u00a083\u2013119. Springer, Berlin (2016). https:\/\/doi.org\/10.1007\/978-3-319-34096-8_4"},{"issue":"1","key":"861_CR26","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). https:\/\/doi.org\/10.1016\/0890-5401(92)90008-4","journal-title":"Inf. Comput."},{"issue":"1","key":"861_CR27","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1016\/0890-5401(92)90009-5","volume":"100","author":"R. Milner","year":"1992","unstructured":"Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes, II. Inf. Comput. 100(1), 41\u201377 (1992). https:\/\/doi.org\/10.1016\/0890-5401(92)90009-5","journal-title":"Inf. Comput."},{"key":"861_CR28","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2023.113841","volume":"958","author":"M. Pasqua","year":"2023","unstructured":"Pasqua, M., Miculan, M.: AbU: a calculus for distributed event-driven programming with attribute-based interaction. Theor. Comput. Sci. 958, 113841 (2023). https:\/\/doi.org\/10.1016\/j.tcs.2023.113841","journal-title":"Theor. Comput. Sci."},{"key":"861_CR29","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1007\/978-3-319-10575-8_2","volume-title":"Handbook of Model Checking","author":"N. Piterman","year":"2018","unstructured":"Piterman, N., Pnueli, A.: Temporal logic and fair discrete systems. In: Clarke, E.M., Henzinger, T.A., Veith, H., Bloem, R. (eds.) Handbook of Model Checking, pp.\u00a027\u201373. Springer, Berlin (2018). https:\/\/doi.org\/10.1007\/978-3-319-10575-8_2"},{"key":"861_CR30","unstructured":"Stolz, B.: Type checking a novel language for reconfigurable multi-agent systems. Bachelor\u2019s Thesis, TU Wien, Austria (2025). https:\/\/www.lucadistefano.eu\/theses\/bsc_stolz_2025.pdf"},{"key":"861_CR31","volume-title":"An Introduction to MultiAgent Systems","author":"M.J. Wooldridge","year":"2009","unstructured":"Wooldridge, M.J.: An Introduction to MultiAgent Systems, 2nd edn. Wiley, New York (2009)","edition":"2"}],"container-title":["International Journal on Software Tools for Technology Transfer"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-026-00861-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10009-026-00861-1","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-026-00861-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,5,26]],"date-time":"2026-05-26T07:17:52Z","timestamp":1779779872000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10009-026-00861-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,3,26]]},"references-count":31,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2026,4]]}},"alternative-id":["861"],"URL":"https:\/\/doi.org\/10.1007\/s10009-026-00861-1","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"value":"1433-2779","type":"print"},{"value":"1433-2787","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026,3,26]]},"assertion":[{"value":"5 March 2026","order":1,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"26 March 2026","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}