Koichi Takahashi, Masami Hagiya. Searching for Mutual Exclusion Algorithms Using BDDs. In Setsuo Arikawa, Ayumi Shinohara, editors, Progress in Discovery Science, Final Report of the Japanese Discovery Science Project. Volume 2281 of Lecture Notes in Computer Science, pages 1-18, Springer, 2002. [doi]
Abstract is missing.