The Modelling and Analysis of OceanStore Elements Using the CSP Dependability Library

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]

Authors

William Simmonds

This author has not been identified. Look up 'William Simmonds' in Google

Tim Hawkins

This author has not been identified. Look up 'Tim Hawkins' in Google