TY  - RPRT
TI  - Parallelized sequential composition, pipelines, and hardware weak memory models
AU  - Robert J. Colvin
PY  - 2021
UR  - https://arxiv.org/abs/2105.02444
ID  - 2105.02444
ER  -