1985
DOI: 10.1007/978-3-642-82453-1_6
View full text
|
Sign up to set email alerts
|
Share
Krzysztof R. Apt

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. INTRODUCTIONThis paper deals with the distributed termination pr…

Expand abstract

Search citation statements

Order By: Relevance

Citation Types

0
2
0

Paper Sections

0
0
0
0
0

Publication Types

0
0
0
0

Relationship

0
0

Authors

Journals