A model of dynamical concurrent program execution
V. А. Vasenin, M. A. Krivchikov · Programming and Computer Software · 2013
Dynamical concurrent execution makes it possible to adapt programs for their execution on computing environments with parallel architecture. In the paper, a formal model of dynamical concurrent execution of programs written in functional style is presented. The model is proven to possess a feature that guarantees correctness of concurrent execution.