Title: Distributed deadlock detection in Concurrent C
Description: This volume was digitized and made accessible online due to deterioration of the original print copy.