Integrating Proved State-Based Models for Constructing Correct Distributed Algorithms.

Manamiary Bruno Andriamiarina, Dominique Mry, Neeraj Kumar Singh

Browse the full IFM paper archive.