A Hardware Implementation of the CSP Primitives and its Verification.

Dorit Ron, Flavia Rosemberg, Amir Pnueli

Browse the full ICALP paper archive.