A formalization of parallel data exchange algorithms used by numerical methods for solving partial differential equations - Samaniego, Cristóbal; Houzeaux, Guillaume (Theoretical computer science, 2025)