Compositional Correctness and Completeness for Symbolic Partial Order Reduction.

smund Aqissiaq Arild Klvstad, Eduard Kamburjan, Einar Broch Johnsen

Browse the full CONCUR paper archive.