Distributed Explicit State Model Checking of Deadlock Freedom.

Brad D. Bingham, Jesse D. Bingham, John Erickson, Mark R. Greenstreet

Browse the full CAV paper archive.