Two papers on partial-order reduction accepted at FoSSaCS, TACAS

The papers “Partial-Order Reduction for Parity Games with an Application on Parameterised Boolean Equation Systems” by Thomas Neele, Tim Willemse and Wieger Wesselink and “The Inconsistent Labelling Problem of Stutter-Preserving Partial-Order Reduction” by Thomas Neele, Antti Valmari and Tim Willemse were accepted for presentation at TACAS 2020 and FoSSaCS 2020, respectively. These conferences are part of ETAPS 2020, to be held in Dublin, Ireland.