Compositional Correctness and Completeness for Symbolic Partial Order Reduction

Published in CONCUR, 2023

Recommended citation: Åsmund Aqissiaq Arild Kløvstad, Eduard Kamburjan, and Einar Broch Johnsen. (2023). CONCUR. Schloss Dagstuhl.