Modeling and Verifying PSO Memory Model Using CSP