@InProceedings{Schneider08,
  title =        "{E}xperiments in {T}ranslating {CSP}\textbar\textbar{B} to {H}andel-{C}",
  author=        "Schneider,  Steve and Treharne,  Helen and McEwan,  Alistair A. and Ifill,  Wilson",
  editor=        "Welch, Peter H. and Stepney,  S. and Polack,  F.A.C and Barnes,  Frederick R. M. and McEwan,  Alistair A. and Stiles,  G. S. and Broenink,  Jan F. and Sampson,  Adam T.",
  pages =        "115--133",
  booktitle=     "{C}ommunicating {P}rocess {A}rchitectures 2008",
  isbn=          "978-1-58603-907-3",
  year=          "2008",
  month=         "sep",
  abstract=      "This paper considers the issues involved in
     translating
specifications described in the
     CSP\textbar\textbarB formal method into
Handel-C. There have
     previously been approaches to translating CSP
descriptions
     to Handel-C, and the work presented in this paper is
part of
     a programme of work to extend it to include the B
     component
of a CSP\textbar\textbarB description. Handel-C is
     a suitable target language
because of its capability of
     programming communication and state,
and its compilation
     route to hardware. The paper presents two case
studies that
     investigate aspects of the translation: a buffer case
study,
     and an abstract arbiter case study. These
     investigations
have exposed a number of issues relating to
     the translation of
the B component, and have identified a
     range of options available,
informing more recent work on
     the development of a style for
     CSP\textbar\textbarB
specifications particularly appropriate
     to translation to Handel-C."
}