Embedding Semantics of the Single-Producer/Single-Consumer Lock-Free Queue into a Race Detection Tool | Publicación