Equivalence of two parallel execution systems - T. V. Panchenko; S. Fabunmi (Problems in programming, 2018)