• Specification-Based Synthesis...

Treffer: Specification-Based Synthesis of Distributed Self-Stabilizing Protocols.

Title:
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
Database:
Complementary Index