Mutual Exclusion Algorithm
- 199 Downloads
This chapter describes a project accomplished by Jens B. Jørgensen and Lars M. Kristensen, Aarhus University, Denmark. The chapter is based upon the material presented in . The project was conducted in 1996.
KeywordsCritical Section Mutual Exclusion Reachable State Direct Successor Permutation Symmetry
Unable to display preview. Download preview PDF.