Specification-Based Synthesis of Distributed Self-Stabilizing Protocols.

Authors :: Faghih, Fathiyeh
Bonakdarpour, Borzoo
Tixeuil, Sébastien
Kulkarni, Sandeep
Source :: Formal Techniques for Distributed Objects, Components & Systems (9783319395692); 2016, p124-141, 18p
Publication Year :: 2016

Language :: English
ISBNs :: 9783319395692
Database :: Complementary Index
Journal :: Formal Techniques for Distributed Objects, Components & Systems (9783319395692)
Publication Type :: Book
Accession number :: 117231193
Full Text :: https://doi.org/10.1007/978-3-319-39570-8_9