Current Research Information SysTem In Norway
 
 

 Norsk versjon


 
Mainpage
Research results/NVI
Researchers
Projects
Research units
Log in
About Cristin
 
 
   
Back to search     Short format     Full format    
Export to


Showing results 1-5 of 5

2018
1 Fava, Daniel Schnetzer; Johnsen, Einar Broch; Owe, Olaf.
Proceedings of the 30th Nordic Workshop on Programming Theory. Universitetet i Oslo 2018 (ISBN 978-82-7368-450-9) 84 p.
UiO Untitled
 
2 Fava, Daniel Schnetzer; Steffen, Martin; Stolz, Volker.
Operational Semantics of a Weak Memory Model with Channel Synchronization. Lecture Notes in Computer Science 2018 ;Volume 10951 LNCS. p. 258-276
HVL UiO Untitled
 
3 Fava, Daniel Schnetzer; Steffen, Martin; Stolz, Volker.
Operational Semantics of a Weak Memory Model with Channel Synchronization. Oslo: Faculty of mathematics and natural sciences, University of Oslo 2018 (ISBN 978-82-7368-442-4) 40 p.
UiO Untitled
 
2017
4 Fava, Daniel Schnetzer; Steffen, Martin; Stolz, Volker; Valle, Stian.
An operational semantics for a weak memory model with buffered writes, message passing, and goroutines. Oslo: Faculty of mathematics and natural sciences, University of Oslo 2017 (ISBN 978-82-7368-431-8) 19 p.
UiO Untitled
 
5 Fava, Daniel Schnetzer; Steffen, Martin; Stolz, Volker; Valle, Stian.
Operational Semantics of a Weak Memory Model inspired by Go. I: Proceedings of the 29th Nordic Workshop on Programming Theory. : Turku Centre for Computer Science 2017 ISBN 978-952-12-3608-2. p. 50-52
UiO Untitled