Paper Details

@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."
}

If you have any comments on this database, including inaccuracies, requests to remove or add information, or suggestions for improvement, the WoTUG web team are happy to hear of them. We will do our best to resolve problems to everyone's satisfaction.

Copyright for the papers presented in this database normally resides with the authors; please contact them directly for more information. Addresses are normally presented in the full paper.