@InProceedings{Lawrence98b,
  title =        "{HCSP}: {E}xtending {CSP} for {C}odesign and {S}hared {M}emory",
  author=        "Lawrence, Adrian E.",
  editor=        "Welch, Peter H. and Bakkers,  Andr\`{e} W. P.",
  pages =        "133--156",
  booktitle=     "{P}roceedings of {W}o{TUG}-21: {A}rchitectures, {L}anguages and {P}atterns for {P}arallel and {D}istributed {A}pplications",
  isbn=          "90 5199 391 9",
  year=          "1998",
  month=         "mar",
  abstract=      "HCSP is a variant of CSP adapted to capture the semantics of
     hardware compilation, among other purposes. It extends CSP
     in several ways; it includes priority; events can be
     combined; new synchronization constructors are introduced;
     and state is explicitly modelled. Including state permits
     the treatment of shared memory as well as message passing
     systems. A possible denotational semantics is included here
     ths allowing proper treatment of such systems. Although most
     of these extensions were motivated by the needs of hardware
     compilation, HCSP can be applied more widely including
     software and thus can form the foundation of a codesign
     language. HCSP is an extension of CSPP; familiarity of CSPP
     is assumed here."
}