Replication in Acyclic Networks of Communicating Processes (1992)

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

    Abstract: In this paper we further investigate a new formal model for dealing with distributed systems of replicated processes communicating by message passing. The approach allows the proof of the partial and total correctness of systems of replicated processes. here we provide a comprehensive treatment for acrylic networks of communicating processes.

      • Series Title: Computing Laboratory Technical Report Series
      • Pages: 42
      • Institution: Computing Laboratory, University of Newcastle upon Tyne
      • Publication type: Report
      • Bibliographic status: Published

      Professor Maciej Koutny
      CS Director of Research