Simulation and Synthesis of CSP-based Interprocess Communication.

Preston A. Jackson, Brad L. Hutchings, Justin L. Tripp

Browse the full FCCM paper archive.