Formal and adaptive methods and software tools of parallel programming - Yu. Doroshenko; O. H. Beketov; K. A. Zhereb; P. A. Ivanenko; O. M. Ovdii; R. S. Shevchenko; O. A. Yatsenko (Problems in programming, 2017)