Einar Broch Johnsen
Einar Broch Johnsen
Home
Talks
Recent Talks
All Talks
Publications
Recent Publications
All Publications
Projects
Recent Projects
All Projects
Sirius
Service
Recent Service
All Service
Teaching
Contact
Light
Dark
Automatic
Section-Boom
An LAGC Semantics for Timed Rebeca
In: Rebeca for Actor Analysis in Action. LNCS 15560. © Springer 2025.
Reiner Hähnle
,
Einar Broch Johnsen
,
Silvia Lizeth Tapia Tarifa
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.
Frank S. de Boer
,
Einar Broch Johnsen
,
Rudolf Schlatte
,
Silvia Lizeth Tapia Tarifa
Preprint
Cite
DOI
Cite
×