The paper summarises a novel approach to spatial programming, and and parallel formal model of computation. As far as I am aware, no pure λ-calculus interpreter and simulator for a high level programming language such as Haskell has been constructed, that has viable time and space complexity characteristics. That difficulty lends support to the spatial approach, which questions the outlook that software may be studied as a pure discipline in isolation from hardware. Further links to reports may be found at the isynchronise website.

8 page summary of synchronic computation
arxiv.org