Paper Details

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

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.