Paper Details

@InProceedings{Lawrence01a,
  title = "{S}uccesses and {F}ailures: {E}xtending {CSP}",
  author= "Lawrence, Adrian E.",
  editor= "Chalmers, Alan G. and Mirmehdi, Majid and Muller, Henk",
  pages = "49--66",
  booktitle= "{C}ommunicating {P}rocess {A}rchitectures 2001",
  isbn= "1 58603 202 X",
  year= "2001",
  month= "sep",
  abstract= "Standard CSP, timed or untimed, does not include a general
     treatment of priority, although the PRI ALT constructor is
     an essential part of occam and hardware compilation
     languages based upon occam. This is a revised version of the
     original paper which introduced CSPP, an extension of CSP
     incorporating priority. CSPP is defined by a novel
     denotational semantics, Acceptances, based on Successes
     rather than the usual Failures. The idea is to characterise
     a process by what it successfully accepts, rather than by
     what it refuses to do. In the light of experience, it might
     better have been called 'Responses'. The original
     Acceptances was exploratory, and tried to avoid constraining
     the sorts of systems, particularly circuits, that could be
     described. Experience has shown that it can be substantially
     simplified at very little cost. A new notation makes it much
     easier to follow, especially for the non specialist. This
     revision of the original introduction presents the
     simplified CSPP while retaining most of the motivational
     material. It is intended to have something of a tutorial
     flavour: three other papers, are more condensed, and deal
     with more technical matters. But the core semantics is
     common to all four. CSPP provides a rigorous comprehensible
     and simple foundation for compositional hardware-software
     codesign. HCSP is a further extension which includes extra
     facilities needed to describe certain circuits. And a
     further radical extension lifts the usual restrictions of
     timed CSP, and describes continuous analogue phenomena. CSPP
     was first presented informally at the Twente WoTUG--20
     technical meeting."
}

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.