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

by B. d. Lubachevsky