Paper Details

@InProceedings{CroweStrainCla88,
  title = "{A} concurrent approach to the {T}owers of {H}anoi",
  author= "Crowe, W. D. and Strain-Clark, P. E. D.",
  editor= "Askew, Charlie",
  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."
}

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.