Guard-Based Partial-Order Reduction. - Alfons Laarman; Elwin Pater; Jaco van de Pol; Michael Weber 002 (SPIN, 2013)

Guard-based partial-order reduction. - Alfons Laarman; Elwin Pater; Jaco van de Pol; Henri Hansen (Int. J. Softw. Tools Technol. Transf., 2016)