// "select-parallel-a.hac"
//	$Id: select-parallel-a.hac,v 1.3 2007/04/20 18:27:36 fang Exp $

bool a, b, c, d;

chp {
a-,b-,c-,d-;
b+,a+;
// the rest are all concurrent
[a -> c+ [] else -> skip],
[b -> d+ [] else -> skip],
{[c && d]; c-,d-}
}

