@InProceedings{Lawrence04a,
  title =        "{O}bserving {P}rocesses",
  author=        "Lawrence, Adrian E.",
  editor=        "East, Ian R. and Duce, David and Green, Mark and Martin,  Jeremy M. R. and Welch, Peter H.",
  pages =        "147--156",
  booktitle=     "{C}ommunicating {P}rocess {A}rchitectures 2004",
  isbn=          "1 58603 458 8",
  year=          "2004",
  month=         "sep",
  abstract=      "This paper discusses the sorts of observations of processes
     that are appropriate to capture priority. The standard
     denotational semantics for CSP are based around observations
     of traces and refusals. Choosing to record a little more
     detail allows extensions of CSP which describe some very
     general processes including those that include priority. A
     minimal set of observations yields a language and semantics
     remarkably close to the standard Failures-Divergences model
     of CSP which is described in a companion paper. A slightly
     richer set of observations yields a somewhat less abstract
     language."
}