Efficient Deadlock-Freedom Checking Using Local Analysis and SAT Solving.

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

Browse the full IFM paper archive.