@InProceedings{Gardner05,
  title =        "{CSP}++: {H}ow {F}aithful to {CSP}m?",
  author=        "Gardner,  W. B.",
  editor=        "Broenink,  Jan F. and Roebbers,  Herman and Sunter,  Johan P. E. and Welch, Peter H. and Wood,  David C.",
  pages =        "129--146",
  booktitle=     "{C}ommunicating {P}rocess {A}rchitectures 2005",
  isbn=          "978-1-58603-561-7",
  year=          "2005",
  month=         "sep",
  abstract=      "CSP++ is a tool that makes specifications written in CSPm
     executable and extensible. It is the basis for a technique
     called selective formalism, which allows part of a system to
     be designed in verifiable CSPm statements, automatically
     translated into C++, and linked with functions coded in C++.
     This paper describes in detail the subset of CSPm that can
     be accurately translated by CSP++, and how the CSP semantics
     are achieved by the runtime framework. It also explains
     restrictions that apply to coding in CSPm for software
     synthesis, and the rationale for those restrictions."
}