Deterministic Concurrency [chapter]

Ian Holyer, David Carter
<span title="">1994</span> <i title="Springer London"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/4ggfzkmz5rdq5hyeibr5io5veu" style="color: black;">Workshops in Computing</a> </i> &nbsp;
Existing functional languages appear not to be suitable for implementing systems which are inherently concurrent, such as operating system environments. Adaptations to functional languages developed to support such applications have in the past always involved the introduction of non-determinism. This thesis proposes a purely declarative and deterministic model for concurrency that can beadopted by a standard non-strict functional language. The design and implementation of a simple but complete
more &raquo; ... single-user concurrent working environment is presented in order to demonstrate the feasibility of deterministic design. i Dedication This thesis could only possibly be dedicated to Marianne Morrey n ee Loo and Joel Seymour, who made it happen. For all the wrong reasons, but that's part of the learning experience. Here's to a great pair of friends.
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-1-4471-3236-3_9">doi:10.1007/978-1-4471-3236-3_9</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/fp/HolyerC93.html">dblp:conf/fp/HolyerC93</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/53towjlc3jeqxle5mk3dv7iv3e">fatcat:53towjlc3jeqxle5mk3dv7iv3e</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20040726024213/http://www.cs.bris.ac.uk:80/Publications/Papers/1000058.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/2c/6a/2c6a5b56bd09e7ab1b660595cbf92f75f38a3b1a.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-1-4471-3236-3_9"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>