Title: Verification of Several Parallel Coordination Programs Based on Descriptions of Their Reachability Sets