Preston A. Jackson, Brad L. Hutchings, Justin L. Tripp. Simulation and Synthesis of CSP-based Interprocess Communication. In 11th IEEE Symposium on Field-Programmable Custom Computing Machines (FCCM 2003), 8-11 April 2003, Napa, CA, Proceedings. pages 218-227, IEEE Computer Society, 2003. [doi]
Abstract is missing.