An operational semantics for a weak memory model with buffered writes, message passing, and goroutines
Research report
År
2017Permanent lenke
http://urn.nb.no/CRIStin
1474511Del av
Research reportMetadata
Vis metadataFinnes i følgende samling
- Institutt for informatikk [3523]
- CRIStin høstingsarkiv [13310]