db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"<br>
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"<br>
@InProceedings{Lawrence99,
  title =        "{H}ard and {S}oft {P}riority in {CSP}",
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"<br>
  author=        "Lawrence, Adrian E.",
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"<br>
  editor=        "Cook,  Barry M.",
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"<br>
  pages =        "169--197",
  booktitle=     "{P}roceedings of {W}o{TUG}-22: {A}rchitectures, {L}anguages and {T}echniques for {C}oncurrent {S}ystems",
  isbn=          "90 5199 480 X",
  year=          "1999",
  month=         "mar",
  abstract=      "Parallel systems which include priority can experience
     conflicts when two concurrent processes assign different
     priorities to the same actions. There are at least two ways
     to resolve the difficulty: one is to halt; the other is to
     declare a draw and allocate all the offending actions the
     same priority. In CSPP these are called respectively hard
     and soft priority.

Originally CSPP included only hard
     priority. Here we extend the language to include soft
     priority as well. The Acceptances semantics which is used to
     define CSPP does not require modification: it captures both
     soft and hard behaviours.

"
}