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 headon.
Sign-in/Register to access full text options 
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
