{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,7]],"date-time":"2026-08-07T15:37:01Z","timestamp":1786117021571,"version":"build-2736575974"},"reference-count":36,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2026,10,1]],"date-time":"2026-10-01T00:00:00Z","timestamp":1790812800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2026,10,1]],"date-time":"2026-10-01T00:00:00Z","timestamp":1790812800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[2026,7,1]],"date-time":"2026-07-01T00:00:00Z","timestamp":1782864000000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/100022842","name":"INESC TEC","doi-asserted-by":"publisher","award":["2024.15783.PEX"],"award-info":[{"award-number":["2024.15783.PEX"]}],"id":[{"id":"10.13039\/100022842","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001871","name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100001871","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100006111","name":"Minist\u00e9rio da Ci\u00eancia, Tecnologia e Ensino Superior","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100006111","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Science of Computer Programming"],"published-print":{"date-parts":[[2026,10]]},"DOI":"10.1016\/j.scico.2026.103529","type":"journal-article","created":{"date-parts":[[2026,7,2]],"date-time":"2026-07-02T15:41:38Z","timestamp":1783006898000},"page":"103529","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":0,"special_numbering":"C","title":["RebeCaos: A software artefact for Rebeca"],"prefix":"10.1016","volume":"254","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-0971-8919","authenticated-orcid":false,"given":"Jos\u00e9","family":"Proen\u00e7a","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2930-6367","authenticated-orcid":false,"given":"Maurice H.","family":"ter Beek","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"78","reference":[{"key":"10.1016\/j.scico.2026.103529_bib0001","series-title":"Proceedings of the 27th IFIP WG 6.1 International Conference on Coordination Models and Languages (COORDINATION 2025)","first-page":"219","article-title":"RebeCaos","volume":"Vol. 15731","author":"Proen\u00e7a","year":"2025"},{"key":"10.1016\/j.scico.2026.103529_bib0002","series-title":"Rebeca for Actor Analysis in Action","first-page":"182","article-title":"Animating Rebeca","volume":"Vol. 15560","author":"ter Beek","year":"2025"},{"key":"10.1016\/j.scico.2026.103529_bib0003","series-title":"Revised Lectures of the 5th International Symposium on Formal Methods for Components and Objects (FMCO 2006)","first-page":"102","article-title":"Rebeca: theory, applications, and tools","volume":"Vol. 4709","author":"Sirjani","year":"2006"},{"key":"10.1016\/j.scico.2026.103529_bib0004","series-title":"Formal Modeling: Actors, Open Systems, Biological Systems","first-page":"20","article-title":"Ten years of analyzing actors: Rebeca experience","volume":"Vol. 7000","author":"Sirjani","year":"2011"},{"key":"10.1016\/j.scico.2026.103529_bib0005","series-title":"Active Object Languages: Current Research Trends","first-page":"226","article-title":"Actors upgraded for variability, adaptability, and determinism","volume":"Vol. 14360","author":"Khosravi","year":"2024"},{"key":"10.1016\/j.scico.2026.103529_bib0006","series-title":"Elixir in Action","author":"Juric","year":"2024"},{"key":"10.1016\/j.scico.2026.103529_bib0007","series-title":"Programming in Scala","author":"Odersky","year":"2021"},{"issue":"9","key":"10.1016\/j.scico.2026.103529_bib0008","doi-asserted-by":"crossref","first-page":"633","DOI":"10.1016\/j.parco.2011.05.005","article-title":"Swift: a language for distributed parallel scripting","volume":"37","author":"Wilde","year":"2011","journal-title":"Parallel Comput."},{"key":"10.1016\/j.scico.2026.103529_bib0009","series-title":"Proceedings of the 14th International Conference on Formal Engineering Methods (ICFEM 2012)","first-page":"135","article-title":"Modeling and verification of probabilistic actor systems using pRebeca","volume":"Vol. 7635","author":"Varshosaz","year":"2012"},{"key":"10.1016\/j.scico.2026.103529_bib0010","series-title":"Theory and Practice of Formal Methods","first-page":"373","article-title":"On time actors","volume":"Vol. 9660","author":"Sirjani","year":"2016"},{"key":"10.1016\/j.scico.2026.103529_bib0011","doi-asserted-by":"crossref","first-page":"22","DOI":"10.1016\/j.scico.2016.03.004","article-title":"PTRebeca: modeling and analysis of distributed and asynchronous systems","volume":"128","author":"Jafari","year":"2016","journal-title":"Sci. Comput. Program."},{"key":"10.1016\/j.scico.2026.103529_bib0012","series-title":"Revised Selected Papers of the 8th International Workshop on Design, Modeling and Evaluation of Cyber Physical Systems (CyPhy\u201918) and the 14th International Workshop on Embedded and Cyber-Physical Systems Education (WESE 2018)","first-page":"3","article-title":"Hybrid Rebeca: modeling and analyzing of cyber-physical systems","volume":"Vol. 11615","author":"Jahandideh","year":"2018"},{"key":"10.1016\/j.scico.2026.103529_bib0013","series-title":"Proceedings of the 10th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2011)","first-page":"1","article-title":"Modelling and simulation of asynchronous real-time systems using Timed Rebeca","volume":"Vol. 58","author":"Aceto","year":"2011"},{"key":"10.1016\/j.scico.2026.103529_bib0014","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1016\/j.scico.2014.01.008","article-title":"Modelling and simulation of asynchronous real-time systems using Timed Rebeca","volume":"89","author":"Reynisson","year":"2014","journal-title":"Sci. Comput. Program."},{"key":"10.1016\/j.scico.2026.103529_bib0015","doi-asserted-by":"crossref","first-page":"184","DOI":"10.1016\/j.scico.2014.07.005","article-title":"Timed Rebeca schedulability and deadlock freedom analysis using bounded floating time transition system","volume":"98","author":"Khamespanah","year":"2015","journal-title":"Sci. Comput. Program."},{"key":"10.1016\/j.scico.2026.103529_bib0016","series-title":"Revised Selected Papers of the 10th International Conference on Fundamentals of Software Engineering (FSEN 2023)","first-page":"72","article-title":"Afra: an Eclipse-based tool with extensible architecture for modeling and model checking of Rebeca family models","volume":"Vol. 14155","author":"Khamespanah","year":"2023"},{"key":"10.1016\/j.scico.2026.103529_bib0017","series-title":"Proceedings of the 4th International Conference on Application of Concurrency to System Design (ACSD 2004)","first-page":"145","article-title":"A front-end tool for automated abstraction and modular verification of actor-based models","author":"Sirjani","year":"2004"},{"key":"10.1016\/j.scico.2026.103529_bib0018","series-title":"Proceedings of the 7th International Conference on Application of Concurrency to System Design (ACSD 2007)","first-page":"216","article-title":"Sarir: a Rebeca to mCRL2 translator","author":"Hojjat","year":"2007"},{"key":"10.1016\/j.scico.2026.103529_bib0019","series-title":"Proceedings of the 12th International Conference on Functional Programming (ICFP 2007)","first-page":"125","article-title":"McErlang: a model checker for a distributed functional programming language","author":"Fredlund","year":"2007"},{"key":"10.1016\/j.scico.2026.103529_bib0020","series-title":"Proceedings of the 21st Symposium on Applied Computing (SAC 2006)","first-page":"1810","article-title":"Modere: the model-checking engine of Rebeca","author":"Jaghoori","year":"2006"},{"key":"10.1016\/j.scico.2026.103529_bib0021","series-title":"Proceedings of the 5th International Workshop on Programming Based on Actors, Agents, and Decentralized Control (AGERE! 2015)","first-page":"37","article-title":"Jacco: more efficient model checking toolset for Java actor programs","author":"Zakeriyan","year":"2015"},{"key":"10.1016\/j.scico.2026.103529_bib0022","series-title":"Proceedings of the 11th International Conference on Formal Methods in Software Engineering (FormaliSE 2023)","first-page":"97","article-title":"Transparent actor model","author":"Ghassemi","year":"2023"},{"key":"10.1016\/j.scico.2026.103529_bib0023","series-title":"Revised Papers of the 9th International Symposium on Formal Methods for Components and Objects (FMCO 2010)","first-page":"142","article-title":"ABS: a core language for abstract behavioral specification","volume":"Vol. 6957","author":"Johnsen","year":"2010"},{"key":"10.1016\/j.scico.2026.103529_bib0024","series-title":"Concurrent Programming in Erlang","author":"Armstrong","year":"1996"},{"key":"10.1016\/j.scico.2026.103529_bib0025","series-title":"Proceedings of the 2nd Edition on Programming Systems, Languages and Applications Based on Actors, Agents, and Decentralized Control Abstractions (AGERE! 2012)","first-page":"1","article-title":"On the integration of the actor model in mainstream technologies: the Scala perspective","author":"Haller","year":"2012"},{"key":"10.1016\/j.scico.2026.103529_bib0026","series-title":"Proceedings of the 25th IFIP WG 6.1 International Conference on Coordination Models and Languages (COORDINATION 2023)","first-page":"163","article-title":"Caos: a reusable Scala web animator of operational semantics","volume":"Vol. 13908","author":"Proen\u00e7a","year":"2023"},{"key":"10.1016\/j.scico.2026.103529_bib0027","series-title":"Proceedings of the 15th Interaction and Concurrency Experience (ICE 2022)","first-page":"37","article-title":"Branching pomsets for choreographies","volume":"Vol. 365","author":"Edixhoven","year":"2022"},{"key":"10.1016\/j.scico.2026.103529_bib0028","series-title":"Proceedings of the 18th International Conference on Formal Aspects of Component Software (FACS 2022)","first-page":"185","article-title":"Realisability of branching pomsets","volume":"Vol. 13712","author":"Edixhoven","year":"2022"},{"key":"10.1016\/j.scico.2026.103529_bib0029","series-title":"Proceedings of the 36th European Conference on Object-Oriented Programming (ECOOP 2022)","first-page":"27:1","article-title":"API generation for multiparty session types, revisited and revised using Scala 3","volume":"Vol. 222","author":"Cledou","year":"2022"},{"key":"10.1016\/j.scico.2026.103529_bib0030","series-title":"Proceedings of the 11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles (ISoLA 2022)","first-page":"460","article-title":"ST4MP: a blueprint of multiparty session typing for multilingual programming","volume":"Vol. 13701","author":"Jongmans","year":"2022"},{"key":"10.1016\/j.scico.2026.103529_bib0031","series-title":"Proceedings of the 25th International Symposium on Formal Methods (FM 2023)","first-page":"122","article-title":"Can we communicate? Using dynamic logic to verify team automata","volume":"Vol. 14000","author":"ter Beek","year":"2023"},{"key":"10.1016\/j.scico.2026.103529_bib0032","series-title":"Proceedings of the 26th IFIP WG 6.1 International Conference on Coordination Models and Languages (COORDINATION 2024)","first-page":"161","article-title":"Team automata: overview and roadmap","volume":"Vol. 14676","author":"ter Beek","year":"2024"},{"key":"10.1016\/j.scico.2026.103529_bib0033","series-title":"Proceedings of the 20th International Conference on Formal Aspects of Component Software (FACS 2024)","first-page":"97","article-title":"Reactive graphs in action","volume":"Vol. 15189","author":"Tinoco","year":"2024"},{"key":"10.1016\/j.scico.2026.103529_bib0034","series-title":"Proceedings of the 27th International Symposium on Formal Methods (FM 2026)","first-page":"27","article-title":"Asynchronous team automata","volume":"Vol. 16557","author":"Basile","year":"2026"},{"key":"10.1016\/j.scico.2026.103529_bib0035","series-title":"Proceedings of the 25th International Conference on Formal Methods for Industrial Critical Systems (FMICS 2020)","first-page":"3","article-title":"The 2020 expert survey on formal methods","volume":"Vol. 12327","author":"Garavel","year":"2020"},{"issue":"4","key":"10.1016\/j.scico.2026.103529_bib0036","doi-asserted-by":"crossref","first-page":"58","DOI":"10.1145\/3702231","article-title":"The role of formal methods in computer science education","volume":"15","author":"ter Beek","year":"2024","journal-title":"ACM Inroads"}],"container-title":["Science of Computer Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S016764232600095X?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S016764232600095X?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2026,8,6]],"date-time":"2026-08-06T12:59:10Z","timestamp":1786021150000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S016764232600095X"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,10]]},"references-count":36,"alternative-id":["S016764232600095X"],"URL":"https:\/\/doi.org\/10.1016\/j.scico.2026.103529","relation":{},"ISSN":["0167-6423"],"issn-type":[{"value":"0167-6423","type":"print"}],"subject":[],"published":{"date-parts":[[2026,10]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"RebeCaos: A software artefact for Rebeca","name":"articletitle","label":"Article Title"},{"value":"Science of Computer Programming","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/j.scico.2026.103529","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"article","name":"content_type","label":"Content Type"},{"value":"\u00a9 2026 The Author(s). Published by Elsevier B.V.","name":"copyright","label":"Copyright"}],"article-number":"103529"}}