Daniel Schnetzer Fava

Bilde av Daniel Schnetzer Fava
English version of this page
Brukernavn
Besøksadresse Gaustadalléen 23B Ole-Johan Dahls hus 0373 OSLO
Postadresse Postboks 1080 Blindern 0316 OSLO

Publikasjoner

  • Fava, Daniel Schnetzer; Stolz, Volker & Valle, Stian (2017). Operational Semantics of a Weak Memory Model inspired by Go, In Marina Walden (ed.),  Proceedings of the 29th Nordic Workshop on Programming Theory.  Turku Centre for Computer Science.  ISBN 978-952-12-3608-2.  Kapittel.  s 50 - 52 Fulltekst i vitenarkiv.

Se alle arbeider i Cristin

  • 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. Fulltekst i vitenarkiv.

Se alle arbeider i Cristin

Publisert 8. aug. 2016 15:10 - Sist endret 21. juni 2017 12:37