TY  - RPRT
TI  - Specifying Concurrent Problems: Beyond Linearizability
AU  - Armando Castaneda
AU  - Michel Raynal
AU  - Sergio Rajsbaum
PY  - 2015
UR  - https://arxiv.org/abs/1507.00073
ID  - 1507.00073
ER  -