Unfolding-Based Dynamic Partial Order Reduction of Asynchronous Distributed Programs.

The Anh Pham, Thierry Jron, Martin Quinson

Browse the full FORTE paper archive.