A number of languages like CSP [ref] and Squeak [ref] have been designed to gain better understanding … not designed with efficient implementations in mind. … A number of languages like CML [ref], Java [ref] and OCCAM [ref] support concurrency. … All these systems are fairly expressive and hard …
Google-1
Google-2
Copyright clearance needed for quotation.