Revisiting snapshot algorithms by refinement-based techniques

The snapshot problem addresses a collection of important algorithmic issues related to distributed computations, which are used for debugging or recovering distributed programs. Among existing solutions, Chandy and Lamport have proposed a simple distributed algorithm. In this paper, we explore the c...

Celý popis

Podrobná bibliografie

Vydáno v:	Computer Science and Information Systems Ročník 11; číslo 1; s. 251 - 270
Hlavní autoři:	Andriamiarina, Bruno, Méry, Dominique, Singh, Kumar
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	ComSIS Consortium 2014
Edice:	Computer Science and Information System
Témata:	Computer Science Modeling and Simulation refinement correctness-by-construction Distributed algorithms verification snapshot
ISSN:	1820-0214, 2406-1018
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!