*0013413
*00520250703025424.0
*007ta
*008210603s2021    no d   e      00  0 eng
*00902051nam a2200337 c 4500
*019  $bl
*020  $qheftet
*035  $a(EXLNZ-47BIBSYS_NETWORK)999921352864802201
*035  $a(NO-LaBS)14754239(bibid)
*040  $aNO-OsNB$bnob$erda
*1001 $aFava, Daniel S.$d1982-$0(NO-TrBIB)1634281489988$4aut$_11293000
*24000$aRelaxed memory models and data-race detection tailored for shared-memory message-passing systems$_11293100
*24510$aRelaxed memory models and data-race detection tailored for shared-memory message-passing systems$cby Daniel S. Fava
*264 1$a[Oslo], Norway$bDepartment of Informatics, University of Oslo$c2021
*300  $aix, 152 sider$bdiagrammer
*336  $atekst$0http://rdaregistry.info/termList/RDAContentType/1020$2rdaco
*337  $auformidlet$0http://rdaregistry.info/termList/RDAMediaType/1007$2rdamt
*338  $abind$0http://rdaregistry.info/termList/RDACarrierType/1049$2rdact
*4901 $aSeries of dissertations submitted to the Faculty of Mathematics and Natural Sciences, University of Oslo$vno. 2407$x1501-7710
*500  $a"Channels at the head of the queue!" - Tittelsiden
*502  $aAvhandling (ph.d.) - Universitetet i Oslo, 2021
*533  $aElektronisk reproduksjon$b[Norge]$cNasjonalbiblioteket Digital$d2025-07-02
*655 7$aDoktoravhandlinger$0(uri)https://id.nb.no/vocabulary/ntsf/61$2ntsf$_202811400
*7001 $aFava, Daniel S.$d1982-$0(NO-TrBIB)1634281489988$tRelaxed memory models and data-race detection tailored for shared-memory message-passing systems$_11293000
*7102 $aUniversitetet i Oslo$bDet matematisk-naturvitenskapelige fakultet$0(NO-TrBIB)90069516$4pbl$_10300400
*7102 $aUniversitetet i Oslo$bInstitutt for informatikk$0(NO-TrBIB)90328750$4dgg$_10757300
*830 0$aSeries of dissertations submitted to the Faculty of Mathematics and Natural Sciences, University of Oslo (trykt utgave)$x1501-7710$vno. 2407$w999916000704702201$_10300600
*85641$3Fulltekst$uhttps://urn.nb.no/URN:NBN:no-nb_digibok_2025062006019$yNettbiblioteket$zDigital representasjon
*913  $aNorbok$bNB
*917  $ad
*999  $aoai:nb.bibsys.no:999920138394002202$b2021-12-09T03:22:06Z$z999920138394002202
^