A language based approach for reliable distributed computing

The use of a high-level distributed concurrent language is proposed for the implementation of reliable distributed systems. By using the language, the basic components of a transaction kernel are described. This system is made up of a set of cooperating processes based on the message-passing model, which is placed on the various hosts of the distributed system. The interesting aspects of this approach are presented in terms of modularity, concurrency, portability, and reliability. They are bound to the use of a high-level concurrent language, in spite of the traditional approaches which are followed for the transaction kernels implementation.<
>