A Refinement-Based Approach for Proving Distributed Algorithms on Evolving Graphs.

Faten Fakhfakh, Mohamed Tounsi, Ahmed Hadj Kacem, Mohamed Mosbah

Browse the full WETICE paper archive.