Formal Validation of Asynchronous Interaction-Agents Algorithms for Reaction-Diffusion Problems.

Pascal Redou, Sbastien Kerdlo, Gireg Desmeulles, Jean Franois Abgrall, Vincent Rodin, Jacques Tisseau

Browse the full PADS paper archive.