TY  - RPRT
TI  - Computing Race Variants in Message-Passing Concurrent Programming with Selective Receives
AU  - Germán Vidal
PY  - 2022
DO  - 10.1007/978-3-031-08679-3_12
UR  - https://arxiv.org/abs/2210.03026
ID  - 2210.03026
ER  -