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]
@inproceedings{LazicNR04:0,
title = {On Model Checking Data-Independent Systems with Arrays with Whole-Array Operations},
author = {Ranko Lazic and Thomas Christopher Newcomb and A. W. Roscoe},
year = {2004},
doi = {10.1007/11423348_17},
url = {http://dx.doi.org/10.1007/11423348_17},
tags = {model checking, meta-model, data-flow, Meta-Environment},
researchr = {https://researchr.org/publication/LazicNR04%3A0},
cites = {0},
citedby = {0},
pages = {275-291},
booktitle = {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},
editor = {Ali E. Abdallah and Cliff B. Jones and Jeff W. Sanders},
volume = {3525},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-25813-2},
}