Einar Broch Johnsen
Einar Broch Johnsen
Home
Talks
Publications
Recent
All
Projects
Sirius
Service
Courses
Contact
Light
Dark
Automatic
LAGC
Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages
Proc. TABLEAUX 2017
Crystal Chang Din
,
Reiner Hähnle
,
Einar Broch Johnsen
,
Violet Ka I Pun
,
Silvia Lizeth Tapia Tarifa
Preprint
Cite
DOI
Cite
×