Locking Protocol For Information Flow Control. - Ryung Chon; Kouhei Takeda; Tomoya Enokido; Makoto Takizawa 001 (J. Interconnect. Networks, 2004)