Specifying problem one using the failure sets model for CSP and deriving CSP processes which meett this specification.

A. W. Roscoe 0001 Specifying problem one using the failure sets model for CSP and deriving CSP processes which meett this specification. 103-109 1983 conf/acs/1983 The Analysis of Concurrent Systems db/conf/acs/acs1983.html#Roscoe83 https://doi.org/10.1007/3-540-16047-7_38