Parallel Program Control Based on Hierarchically Detected Consistent Global States | IEEE Conference Publication | IEEE Xplore