Modeling and Verification of Parallel Processes | lit.salon