Daniel Schnetzer Fava

Image of Daniel Schnetzer Fava
Norwegian version of this page
Username
Visiting address Gaustadalléen 23B Ole-Johan Dahls hus 0373 OSLO
Postal address Postboks 1080 Blindern 0316 OSLO

Publications

  • Fava, Daniel Schnetzer; Steffen, Martin; Stolz, Volker & Valle, Stian (2017). An operational semantics for a weak memory model with buffered writes, message passing, and goroutines. Full text in Research Archive

View all works in Cristin

Published Aug. 8, 2016 3:10 PM - Last modified June 21, 2017 12:37 PM