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{CroweStrainCla88,
  title =        "{A} concurrent approach to the {T}owers of {H}anoi",
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"<br>
  author=        "Crowe,  W. D. and Strain-Clark,  P. E. D.",
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"<br>
  editor=        "Askew,  Charlie",
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"<br>
  pages =        "13--22",
  booktitle=     "{OUG}-9: {O}ccam and the {T}ransputer -- {R}esearch and {A}pplications",
  isbn=          "90 5199 010 3",
  year=          "1988",
  month=         "sep",
  abstract=      "The tower of Hanoi problem has long been known to have a
     closed (ie non-recursive) solution. In this paper we analyse
     two approaches to this solution which involve concurrency.
     This is not an end in itself, but serves to introduce the
     main ideas and notations of CAP (Communicating Asynchronous
     Processes) - a revision of CSP which the authors have used
     successfully to develop correct Occam programs. In turn, CAP
     is part of a wider development method (ODM) which is being
     studied with the intention of prototyping software tools to
     assist developers of concurrent software."
}