JSD EXPRESSED IN CSP
K.T. Sridbar and C.A.R. Hoare
System development in JSD is done by building a model of the real world taking into account the time-ordering of events, and then extending this model to satisfy the functional requirements. The resulting specification is transformed into programs more efficiently executable on current computer systems. We study the relationship between JSD and CSP and suggest that CSP provides a theoretical basis for the concepts and methods of JSD. Constructive specifications in CSP are given for problems solved using JSD. Efficient implementations for conventional sequential processors may be derived from the parallel CSP solutions using the algebraic laws governing the CSP operators.