共 50 条
- [41] Recoverable Mutual Exclusion with Abortability NETWORKED SYSTEMS, NETYS 2019, 2019, 11704 : 217 - 232
- [47] A QUANTITATIVE APPROACH OF MUTUAL EXCLUSION RAIRO-INFORMATIQUE THEORIQUE ET APPLICATIONS-THEORETICAL INFORMATICS AND APPLICATIONS, 1986, 20 (03): : 275 - 289
- [50] Modelling and Verification of Mutual Exclusion Algorithms 2016 IEEE/ACM 20TH INTERNATIONAL SYMPOSIUM ON DISTRIBUTED SIMULATION AND REAL TIME APPLICATIONS (DS-RT), 2016, : 136 - 144