The pursuit of deadlock freedom /
Roscoe, A. W.
Dathi, Naiem.
Oxford University Computing Laboratory.Programming Research Group.
Oxford [Oxfordshire] : Oxford University Computing Laboratory, Programming Research Group,
1986.
Bibliography: p. 37-38.
Computer networks.
Combinatorial analysis.