Browse by author
Lookup NU author(s): Professor Maciej KoutnyORCiD
This paper studies the correctness of distributed systems made up of replicated processes that communicate by message passing. Processes are described within the divergence model of CSP. The notion of correctness introduced is based on a relation that formally expresses the conformance of an implementation process with the target process it is intended to implement. A weak and a strong such relations are introduced, aimed at treating acyclic and cyclic process networks respectively. Both allow the study of partial as well as total correctness of implementations, and may cope with non-deterministic targets and implementations. We then show how a target process may be implemented (in the formal sense introduced) by replicating it in a set of copies, a majority of which is non-faulty.
Author(s): Koutny M, Mancini LV, Pappalardo G
Publication type: Report
Publication status: Published
Series Title: Department of Computing Science Technical Report Series
Year: 1994
Pages: 51
Report Number: 491
Institution: Department of Computing Science, University of Newcastle upon Tyne
Place Published: Newcastle upon Tyne
URL: http://www.cs.ncl.ac.uk/publications/trs/papers/491.pdf
