Author:
Luo Junfu,Yin Jiaqi,Zhu Huibiao
Publisher
Springer Nature Switzerland
Reference13 articles.
1. Alagarsamy, K.: Some myths about famous mutual exclusion algorithms. SIGACT News 34(3), 94–103 (2003)
2. Attiya, H., Kogan, A., Welch, J.L.: Efficient and robust local mutual exclusion in mobile ad hoc networks. IEEE Trans. Mob. Comput. 9(3), 361–375 (2010)
3. Bagchi, S.: Design and topological analysis of probabilistic distributed mutual exclusion algorithm with unbiased refined ordering. Futur. Gener. Comput. Syst. 95, 175–186 (2019)
4. Bertier, M., Arantes, L., Sens, P.: Hierarchical token based mutual exclusion algorithms. In: CCGrid, vol. 2004, pp. 539–546 (2004)
5. Clavel, M., et al.: Maude manual (version 3.0). SRI International (2020)