An assertional proof of Rana's algorithm
type: Item
instance of: scholarly article
title: An assertional proof of Rana's algorithm
zbMATH Open document ID: 0795.68081
DOI: 10.1016/0020-0190(94)90059-0
author: Michiel C. van Wezel
author: Gerard Tel
published in: Information Processing Letters
publication date: 1994-04-05T00:00:00Z
Mathematics Subject Classification ID: 68W15
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 540890
zbMATH Keywords: distributed computing
zbMATH Keywords: program correctness
zbMATH Keywords: safety
zbMATH Keywords: correctness proof
zbMATH Keywords: termination detection algorithm
zbMATH Keywords: liveness
MaRDI profile type: Publication
full work available at URL: 0020-0190(94)90059-0
OpenAlex ID: W2095125772
cites work: Distributed termination detection for dynamic systems
cites work: Derivation of a termination detection algorithm for distributed computations
cites work: Self-stabilizing extensions for message-passing systems
cites work: Time, clocks, and the ordering of events in a distributed system
cites work: An assertional correctness proof of a distributed algorithm
cites work: A distributed solution of the distributed termination problem
description: scientific article; zbMATH DE number 540890