A Strategy for Automatic Verification of Stabilization of Distributed Algorithms

DOI10.1007/978-3-319-19195-9_3zbMath1347.68359OpenAlexW1038971504MaRDI QIDQ2827449

Ritwika Ghosh, Sayan Mitra

Publication date: 19 October 2016

Published in: Formal Techniques for Distributed Objects, Components, and Systems (Search for Journal in Brave)

Full work available at URL: https://hal.inria.fr/hal-01767335/file/978-3-319-19195-9_3_Chapter.pdf

Mathematics Subject Classification ID

Distributed algorithms (68W15)

This page was built for publication: A Strategy for Automatic Verification of Stabilization of Distributed Algorithms