Toggle Main Menu Toggle Search

Open Access padlockePrints

Two Implementation Relations and the Correctness of Communicating Replicated Processes

Lookup NU author(s): Professor Maciej Koutny

Downloads

Full text for this publication is not currently held within this repository. Alternative links are provided below where available.


Abstract

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 version of the relation are introduced, aimed at treating acyclic and cyclic process networks respectively. Both allow the study of (total) correctness 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.


Publication metadata

Author(s): Koutny M, Mancini LV, Pappalardo G

Publication type: Article

Publication status: Published

Journal: Formal Aspects of Computing

Year: 1997

Volume: 9

Issue: 2

Pages: 119-148

ISSN (print): 0934-5043

ISSN (electronic): 1433-299X

Publisher: Springer UK

URL: http://dx.doi.org/10.1007/BF01211616

DOI: 10.1007/BF01211616


Altmetrics

Altmetrics provided by Altmetric


Actions

Find at Newcastle University icon    Link to this publication


Share