Bridging CSP and C++ with Selective Formalism and Executable Specifications.

William B. Gardner

Browse the full MEMOCODE paper archive.