2026
Autores
Proença, J; Fervari, R; Martins, MA; Kahle, R; Pluck, G;
Publicação
Lecture Notes in Computer Science
Abstract
[No abstract available]
2026
Autores
Proença, J; Fervari, R; Martins, MA; Kahle, R; Pluck, G;
Publicação
SEFM
Abstract
2025
Autores
Proença, J; ter Beek, MH;
Publicação
Abstract
2025
Autores
Neves, R; Proença, J; Souza, J;
Publicação
CoRR
Abstract
2025
Autores
Proença, J; ter Beek, MH;
Publicação
COORDINATION MODELS AND LANGUAGES, COORDINATION 2025
Abstract
We describe RebeCaos, a user-friendly web-based front-end tool for the Rebeca language, based on the Caos library for Scala. RebeCaos can simulate different operational semantics of (timed) Rebeca, thus facilitating the dissemination and awareness of Rebeca, providing insights into the differences among existing semantics for Rebeca, and supporting quick experimentation of new Rebeca variants (e.g., when the order of received messages is preserved). The tool also comes with initial reachability analyses for Rebeca models (e.g., the possibility of reaching deadlocks or desirable states). We illustrate the RebeCaos tool by means of a ticket service use case from the timed Rebeca literature.
The access to the final selection minute is only available to applicants.
Please check the confirmation e-mail of your application to obtain the access code.
