Costea, Andreea ; Chin, Wei-ngan ; Qin, Shengchao. Costea , A , Chin , W , Qin , S & Craciun , F 2018 , Automated Modular Verification for Relaxed Communication Protocols . in Asian Symposium on Programming Languages and Systems . , Chapter 16 , Programming Languages and Systems , vol. 11275 , Springer Verlag , pp. 284-305 . https://doi.org/10.1007/978-3-030-02768-1_16.
,
2018