Paper Details

@InProceedings{BrownSmith08,
  title = "{R}epresentation and {I}mplementation of {CSP} and {VCR} {T}races",
  author= "Brown, Neil C.C. and Smith, Marc L.",
  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 = "329--345",
  booktitle= "{C}ommunicating {P}rocess {A}rchitectures 2008",
  isbn= "978-1-58603-907-3",
  year= "2008",
  month= "sep",
  abstract= "Communicating Sequential Processes (CSP) was developed
     around a formal algebra of processes and a semantics based
     on traces (and failures and divergences). A trace is a
     record of the events engaged in by a process. Several
     programming languages use, or have libraries to use, CSP
     mechanisms to manage their concurrency. Most of these lack
     the facility to record the trace of a program. A standard
     trace is a flat list of events but structured trace models
     are possible that can provide more information such as the
     independent or concurrent engagement of the process in
     some of its events. One such trace model is View-Centric
     Reasoning (VCR), which offers an additional model of
     tracing, taking into account the multiple, possibly
     imperfect views of a concurrent computation. This paper also
     introduces
     \textlessq\textgreaterstructural\textless/q\textgreater
     traces, a new type of trace that reflects the nested
     parallelism in a CSP system. The paper describes the
     automated generation of these three trace types in the
     Communicating Haskell Processes (CHP) library, using
     techniques which could easily be applied in other
     libraries such as JCSP and C++CSP2. The ability to present
     such traces of a concurrent program assists in understanding
     the behaviour of real CHP programs and for debugging when
     the trace behaviours are wrong. These ideas and tools
     promote a deeper understanding of the association between
     practicalities of real systems software and the underlying
     CSP formalism."
}

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.