Verifying Properties of Coordination by Well-Structured Transition Systems