Skip to main content

Deterministic Concurrency

David Carter, Deterministic Concurrency. PhD thesis. Department of Computer Science, University of Bristol. September 1994. PDF, 939 Kbytes.


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 be adopted by a standard non-strict functional language. The design and implementation of a simple but complete single-user concurrent working environment is presented in order to demonstrate the feasibility of deterministic design.

Bibtex entry.

Publication Admin