.oO 顔文字. Op d n Diek. Digital logic and Microprocessor Design with VHDL. Coffman conditions for deadlock.