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{dAciernoPietro90,
  title =        "{A} method for monitoring occam internal channels",
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"<br>
  author=        "d'Acierno,  A. and Pietro,  Giuseppe de and Villano,  Umberto",
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"<br>
  editor=        "Turner,  Stephen J.",
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"<br>
  pages =        "190--197",
  booktitle=     "{OUG}-12: {T}ools and {T}echniques for {T}ransputer {A}pplications",
  isbn=          "90 5199 029 4",
  year=          "1990",
  month=         "mar",
  abstract=      "In a Transputer environment, where the data exchange and the
     synchronizations between any two processes are carried out
     by means of I/O operations, the monitoring of the channels
     used for implementing the message exchange is of particular
     interest. In this paper a method is illustrated for
     monitoring the internal channels of an Occam program. This
     method introduces little CPU overhead, no additional
     communication cost, and preserves the synchronization
     behaviour of the two communicating processes. Its
     characteristics have been attained by means of a particular
     monitoring mechanism, based upon a rather unusual use of
     some Transputer machine language instructions, canonically
     used to implement guarded communications within the Occam
     ALT construct."
}