D N Ranasinghe
The separation of computation from coordination has been advised for a long time in the domain of concurrent programming. It has been shown to exhibit better reasoning and scalability in software design. In this paper we review the fundamental coordination models and their derivability from one another. Some encodings are already established in the literature and for others we postulate encodings based on logical inferences. The latter have not yet been theoretically proven.