Equivalence of two parallel execution systems

• Дата: 2018
• Автори: Panchenko, T. V., Fabunmi, S.
• Формат: Стаття
• Мова: Ukrainian
• Опубліковано: Інститут програмних систем НАН України 2018
• Теми: software correctness; safety property proof; concurrent program; interleaving; IPCL; composition-nominative languages; formal verification; UDC 004.415; 681.3
• Онлайн доступ: https://pp.isofts.kiev.ua/index.php/ojs1/article/view/270
• Назва журналу: 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...