Equivalence of two parallel execution systems

• Published in: PROBLEMS IN PROGRAMMING
• Date: 2018
• Issue: 2-3
• Pages: 93-98
• ISSN: 1727-4907
• Author Affiliations: T.V. Panchenko — Kiev Taras Shevchenko National University; S. Fabunmi — Kiev Taras Shevchenko National University
• Keywords: паралельна програма, синхронізація паралельних програм, доведення часткової коректності, коректність програмного забезпечення, програмна синхронізація, розподілені системи та паралельне програмування, ipcl, паралельні обчислення, паралельні алгоритми, паралелізація
• Main Authors: Panchenko, T.V., Fabunmi, S.
• Format: Article
• Language: Ukrainian
• Published: PROBLEMS IN PROGRAMMING 2018
• Subjects: software correctness; safety property proof; concurrent program; interleaving; IPCL; composition-nominative languages; formal verification; UDC 004.415; 681.3
• Online Access: https://pp.isofts.kiev.ua/index.php/ojs1/article/view/270
• Journal Title: Problems in programming

The method for properties proof for parallel programs running multiple-instance interleaving with shared memory is investigated. Two systems for parallel execution of programs are considered and the justification of the mutual expressiveness of these two approaches are presented in this paper. The f...