Local First Search - A New Paradigm for Partial Order Reductions.

Peter Niebert, Michaela Huhn, Sarah Zennou, Denis Lugiez

Browse the full CONCUR paper archive.