William Simmonds, Tim Hawkins. The Modelling and Analysis of OceanStore Elements Using the CSP Dependability Library. In Rocco De Nicola, Davide Sangiorgi, editors, Trustworthy Global Computing, International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005, Revised Selected Papers. Volume 3705 of Lecture Notes in Computer Science, pages 230-247, Springer, 2005. [doi]
@inproceedings{SimmondsH05,
title = {The Modelling and Analysis of OceanStore Elements Using the CSP Dependability Library},
author = {William Simmonds and Tim Hawkins},
year = {2005},
doi = {10.1007/11580850_13},
url = {http://dx.doi.org/10.1007/11580850_13},
tags = {analysis},
researchr = {https://researchr.org/publication/SimmondsH05},
cites = {0},
citedby = {0},
pages = {230-247},
booktitle = {Trustworthy Global Computing, International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005, Revised Selected Papers},
editor = {Rocco De Nicola and Davide Sangiorgi},
volume = {3705},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-30007-4},
}