A Compositional Approach to Synchronize Two Dimensional Networks of Processors