Actors

Layers of Confluence for Actors
Proc. Certified Programs and Proofs (CPP). ACM 2026. To appear
Preprint Cite
Layers of Confluence for Actors
An LAGC Semantics for Timed Rebeca
In: Rebeca for Actor Analysis in Action. LNCS 15560. Springer 2025.
Preprint Cite DOI
Inside Every Multithreaded Program There Are Active Objects Struggling To Get Out
In: Rebeca for Actor Analysis in Action. LNCS 15560. Springer 2025.
Preprint Cite DOI
Active Objects with Deterministic Behavior
Proc. IFM 2020. LNCS 12546, Springer 2020
Preprint Cite DOI Tech. report