@InProceedings{PhillipsStiles04,
  title =        "{A}n {A}utomatic {T}ranslation of {CSP} to {H}andel-{C}",
  author=        "Phillips,  Jonathan D. and Stiles,  G. S.",
  editor=        "East, Ian R. and Duce, David and Green, Mark and Martin,  Jeremy M. R. and Welch, Peter H.",
  pages =        "19--38",
  booktitle=     "{C}ommunicating {P}rocess {A}rchitectures 2004",
  isbn=          "1 58603 458 8",
  year=          "2004",
  month=         "sep",
  abstract=      "We present tools that convert a subset of CSP into Handel-C
     code. Handel-C is similar to the standard C programming
     language, and can be itself converted to produce files to
     program an FPGA. We thus now have a process that can
     directly generate hardware from a verified high-level
     description. The CSP to Handel-C translator makes use of the
     Lex and Yacc programming tools. The Handel-C code produced
     is functional, but not necessarily optimized for all
     situations. The translator has been tested using several CSP
     scripts of varying complexity. The functionality of the
     resulting Handel-C programs has been verified with
     simulations, and two scripts were further checked with
     successful implementations on an FPGA."
}