Text this: Modeling and Verification of Parallel Processes