An Algebraic System for Deadlock Detection and its Applications.
Bosheng Zhou, Raymond T. Yeh, Peter A. Ng
VenueBSRDS
Year1984
ProceedingsSymposium on Reliability in Distributed Software and Database Systems
DBLP recordconf/srds/ZhouYN84 ↗
Browse the full SRDS paper archive.