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]
Abstract is missing.