publication venue for The SCOOP concurrency model in java-like languages 2009 Lazy Exploration and Checking of CSP Models with CSPsim 2007
