Computer-Aided Verification of Coordinating Processes