I. Holyer and D. Carter. Deterministic concurrency. In Proceedings of the 1993 Glasgow Workshop on Functional Programming, pages 113--126. Springer-Verlag, July 1993. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Explicit Message Passing for Concurrent Clean - Serrarens (1998) (3 citations) (Correct)
....Because of the absence of sideeffects, functional languages are ideal for parallelism and concurrency. The problem is that concurrency often introduces non determinism into the system, which complicates reasoning. Several attempts have been made to introduce concurrency without non determinism [HC93] JH93] but they have not been a real success. It seems that non determinism is really needed to describe systems like multi user systems. Concurrent Clean also provides threads and communication, through process annotations and lazy graph copying respectively. However, experience showed that ....
I. Holyer and D. Carter. Deterministic concurrency. In Proceedings of the 1993 Glasgow Workshop on Functional Programming, pages 113--126. Springer-Verlag, July 1993.
BriX - A Deterministic Concurrent Functional X Windows System - Serrarens (1995) (5 citations) (Correct)
....functional languages, potential non determinism is introduced. Two processes can update a file at the same time, leading to an unpredictable result. This is taken for granted, there is a common idea stating that concurrency and nondeterminism are synonymous. In their paper, Carter and Holyer [11] propose a deterministic approach to many systems which are inherently non deterministic. The first steps in that direction have been taken with the design of BriX, a deterministic concurrent windowing system. This report describes the development and workings of this system. Special efforts were ....
....making the behaviour of a program dependent on other things than the source code. Our GUI system, named BriX (Bristol X windows system) is also designed with the help of monads and concurrency, but differs because non determinism is banned. The system is based on the ideas of Holyer and Carter [11] in avoiding determinism and was intended as proof and testing space for a deterministic windowing system. This report describes the evolution of the system, starting with a single threaded system and ending with a full features deterministic concurrent system. Chapter 2 gives a short overview of ....
[Article contains additional citation context not shown here]
Holyer, I. and D. Carter, Deterministic Concurrency, Proceedings of the 1993 Glasgow Workshop on Functional Programming, Springer Verlag, 1993.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC