Visualisation and animation of concurrent systems specified in CSP

Mark Green. Visualisation and animation of concurrent systems specified in CSP. PhD thesis, University of Reading, UK, 2002. [doi]

Abstract

Abstract is missing.