Deterministic Concurrency

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.