A formalization of parallel data exchange algorithms used by numerical methods for solving partial differential equations | Publicación