TY  - RPRT
TI  - Go with the Flow: Compositional Abstractions for Concurrent Data Structures (Extended Version)
AU  - Siddharth Krishna
AU  - Dennis Shasha
AU  - Thomas Wies
PY  - 2017
UR  - https://arxiv.org/abs/1711.03272
ID  - 1711.03272
ER  -