Title: Modeling and Verification of Parallel Processes