Correctness proofs of distributed termination algorithms-Reference-Cited by-同舟云学术

Correctness proofs of distributed termination algorithms

Published:1986-06 Issue:3 Volume:8 Page:388-405
ISSN:0164-0925
Container-title:ACM Transactions on Programming Languages and Systems
language:en
Short-container-title:ACM Trans. Program. Lang. Syst.

Author:

Apt Krzysztof R.¹

Affiliation:

1. L.I.T.P. Univ. Paris 7, Paris, France

Abstract

The problem of correctness of the solutions to the distributed termination problem of Francez [7] is addressed. Correctness criteria are formalized in the customary framework for program correctness. A very simple proof method is proposed and applied to show correctness of a solution to the problem. It allows us to reason about liveness properties of temporal logic (see, e.g., Manna and Pnueli [12]) using a new notion of weak total correctness .

Publisher

Association for Computing Machinery (ACM)

Subject

Software

Link

https://dl.acm.org/doi/pdf/10.1145/5956.6000

Reference14 articles.

1. Ten years of Hoare's logic; a survey, part II;APT K.R;Theor. Comput. Sci.,1984

2. ' NATO ASI Series;APT K.R.,1985

3. A Proof System for Communicating Sequential Processes

4. ~ NATO ASI Series;APT K. R.,1985

5. Derivation of a termination detection algorithm for distributed computations;DIJKSTRA E. W.;Inf. Process. Lett.,1983

Cited by 23 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Verification of Distributed Quantum Programs;ACM Transactions on Computational Logic;2022-04-06

2. A component-based framework for certification of components in a cloud of HPC services;Science of Computer Programming;2020-06

3. Thirty-Seven Years of Relational Hoare Logic: Remarks on Its Principles and History;Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles;2020

4. Fifty years of Hoare’s logic;Formal Aspects of Computing;2019-12

5. A Framework for Certification of Large-scale Component-based Parallel Computing Systems in a Cloud Computing Platform for HPC Services;Proceedings of the 7th International Conference on Cloud Computing and Services Science;2017