Ranko Lazic, Thomas Christopher Newcomb, A. W. Roscoe. On Model Checking Data-Independent Systems with Arrays with Whole-Array Operations. In Ali E. Abdallah, Cliff B. Jones, Jeff W. Sanders, editors, Communicating Sequential Processes: The First 25 Years, Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004, Revised Invited Papers. Volume 3525 of Lecture Notes in Computer Science, pages 275-291, Springer, 2004. [doi]
Abstract is missing.