An operational semantics for a weak memory model with buffered writes, message passing, and goroutines
Research report
View/ Open
Year
2017Permanent link
http://urn.nb.no/CRIStin
1474511Is part of
Research reportMetadata
Show metadataAppears in the following Collection
- Institutt for informatikk [4915]
- CRIStin høstingsarkiv [31169]