A Hardware Implementation of the CSP Primitives and its Verification. - Dorit Ron; Flavia Rosemberg; Amir Pnueli (ICALP, 1984)