Text this: The Probability of Deadlock in a System of Many Processes and Many Multi-Unit Resources. [C.T.I. Technical Reports] TR 88.10.64