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

Pedro Antonino, Thomas Gibson-Robinson, A. W. Roscoe (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics