Tighter Reachability Criteria for Deadlock-Freedom Analysis.

Pedro R. G. Antonino, Thomas Gibson-Robinson, A. W. Roscoe

Browse the full FM paper archive.