Kazuaki Masamoto, Takaichi Yoshida: An Analysis of Exclusive Control Mechanisms. ISPA 2008: 623-630