Abstract

Parallel Substitution Algorithm (PSA) is a formal model of fine-grained parallel computation. It has been developed and used for design and investigation of highly parallel algorithms and digital systems architecture. Here it is shown, that its expressive capabilities allow also to use PSA formalisms for representing a wide range of spatially distributed algorithms. As illustrations, PSA of discrete and continuous, synchronous and asynchronous, deterministic and stochastic models of spatial dynamics are presented.

File
Issue
Pages
1-14