Towards Proved Distributed Algorithms through Refinement, Composition and Local Computations.

Vincent Filou, Mohamed Mosbah, Mohamed Tounsi

Browse the full WETICE paper archive.