@InProceedings{Brown-Smith-Traces-08,
  title =        "{R}epresentation and {I}mplementation of {CSP} and {VCR} {T}races",
  author=        "Brown,  Neil C. C. and Smith, Marc L.",
  editor=        "Peter H. Welch et al",
  pages =        "329--345",
  booktitle=     "{C}ommunicating {P}rocess {A}rchitectures 2008",
  year=          "2008",
  month=         sep,
}