A Hardware Implementation of the CSP Primitives and its Verification

@inproceedings{Ron1984AHI,
  title={A Hardware Implementation of the CSP Primitives and its Verification},
  author={Dorit Ron and Flavia Rosemberg and Amir Pnueli},
  booktitle={ICALP},
  year={1984}
}
A design for a hardware interface that implements CSP-like communication primitives is presented. The design is based on a bus scheme that allows processes to “eavesdrop” on messages not directly addressed to them. A temporal logic specification is given for the network and an outline of a verification proof is sketched. 

Topics from this paper.