Author(s)

S. Counsell

Abstract

Software reliability issues in CCS and CSP S. Counsell Department of Computer Science, Birkbeck College, London University, Malet Street, London, UK ABSTRACT Two of the main problems in attaining reliable software in today's computer systems are, firstly, being able to accurately capture system, program and user requirements in the form of a specification, and secondly, finding a close enough link between that specification and the implemented code to allow easy maintenance, error diagnosis and cross-checking. Robin Milner's ideas, embodied in his 'Calculus of Communicating Systems (CCS)' and Tony Hoare's 'Communicating Sequential Processes (CSP)' provide a rich means of modelling the behaviour of sequential and concurrent programs and systems in such a way that these two problems can be attacked head- on. Using CCS as the basis for a specification language, and CSP as the basis for implementing a code like' image, it's possible to show firstly that the specification is a

Keywords