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{Croll91,
  title =        "{D}eterministic {M}essage {R}outing for {S}afety-{C}ritical {A}pplications",
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"<br>
  author=        "Croll,  Peter R.",
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"<br>
  editor=        "Edwards,  Janet",
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"<br>
  pages =        "234--246",
  booktitle=     "{P}roceedings of {W}o{TUG}-14: {O}ccam and the {T}ransputer-{C}urrent {D}evelopments",
  isbn=          "90 5199 063 4",
  year=          "1991",
  month=         "sep",
  abstract=      "This paper considers a technique of message passing which
     can be applied in the development of parallel programs for
     safety-critical applications. The routing algorithm used to
     ensure that messages will always be able to meet hard
     real-time constraints and yet cope with some degree of
     hardware failure. This paper will firstly introduce the
     routing algorithm, it will indicate what properties can be
     proved about deterministic message passing and describe how
     the algorithms cope with hardware failure. From this, the
     details of possible solutions that the new T9000 family can
     offer will be presented."
}