TY  - RPRT
TI  - Automated Modular Verification for Race-Free Channels with Implicit and Explicit Synchronization
AU  - Andreea Costea
AU  - Wei-Ngan Chin
AU  - Florin Craciun
AU  - Shengchao Qin
PY  - 2021
UR  - https://arxiv.org/abs/2109.11802
ID  - 2109.11802
ER  -