Abstract: The group mutual exclusion problem extends the traditional mutual exclusion problem by associating a type with each critical section. In this problem, processes requesting critical sections ...
Abstract: This paper proposes a method for formally modeling and analyzing mutual exclusion algorithms. The process starts with Uppaal timed automata and model checking. A Uppaal model is then reduced ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results