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
Confluence
Layers of Confluence for Actors
Proc. Certified Programs and Proofs (CPP). ACM 2026. To appear
Ludovic Henrio
,
Einar Broch Johnsen
,
Åsmund Aqissiaq Arild Kløvstad
,
Violet Ka I Pun
,
Yannick Zakowski
Preprint
Cite
Active Objects with Deterministic Behavior
Proc. IFM 2020. LNCS 12546, Springer 2020
Ludovic Henrio
,
Einar Broch Johnsen
,
Violet Ka I Pun
Preprint
Cite
DOI
Tech. report
Cite
×
