Detecting conjunctive channel predicates in a distributed programming environment | IEEE Conference Publication | IEEE Xplore