TY  - RPRT
TI  - Relaxed Operational Semantics of Concurrent Programming Languages
AU  - Gérard Boudol
AU  - Gustavo Petri
AU  - Bernard Serpette
PY  - 2012
DO  - 10.4204/eptcs.89.3
UR  - https://arxiv.org/abs/1208.5915
ID  - 1208.5915
ER  -