Application control on grid using predicates defined on global states of co-operating parallel programs | IEEE Conference Publication | IEEE Xplore