1. [Baarir et al., 2008] Baarir, S., Sopena, J., and Legond, F. (2008). On the formal verification of a generic hierarchical mutual exclusion algorithm. InProceedings of the 28th International Conference on Formal Techniques for Networked and Distributed Systems (FORTE'08), Lecture Notes in Computer Sciences, Tokyo, Japan. Springer-Verlag.
2. [Bertier et al., 2004] Bertier, M., Arantes, L., and Sens, P. (2004). Hierarchical token-based mutual exclusion algorithms. InProceedings of the 4th IEEE/ACM International Symposium on Cluster Computing and the Grid. IEEE Computer Society.
3. Distributed mutual exclusion algorithms for grid applications: A hierarchical approach
4. Grid'5000: A Large Scale And Highly Reconfigurable Experimental Grid Testbed
5. [Chang et al., 1990a] Chang, I., Singhal, M., and Liu, M. (1990a). A hybrid approach to mutual exclusion for distributed system. InProceedings of the IEEE International Computer Software and Applications Conference, pages289-294. IEEEComputer Society.