Partial Order Reduction in Presence of Rendez-vous Communications with Unless Constructs and Weak Fairness.

Dragan Bosnacki Partial Order Reduction in Presence of Rendez-vous Communications with Unless Constructs and Weak Fairness. 40-56 1999 conf/spin/1999 SPIN http://link.springer.de/link/service/series/0558/bibs/1680/16800040.htm db/conf/spin/spin1999.html#Bosnacki99