Cover Image

Equivalence of two parallel execution systems

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...

Full description

Saved in:

Bibliographic Details
Date:	2018
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
Tags:	Add Tag No Tags, Be the first to tag this record!
Journal Title:	Problems in programming
Download file:

Institution

Problems in programming

Similar Items

Correctness Property Proof for the Banking System for Money Transfer Payments
by: Ostapovska, Yu.A., et al.
Published: (2018)

Peterson’s algorithm Total correctness proof in IPCL
by: Zhygallo, A.A.
Published: (2018)

Models of concurrent program running in resource constrained environment
by: Rahozin, D.V.
Published: (2020)

Development of integrated system of scientific periodicals based on the OJS
by: Kudim, K.A., et al.
Published: (2017)

Logics of quasiary predicates of quantifier-equational level
by: Nikitchenko, M.S., et al.
Published: (2015)

Equivalence of two parallel execution systems
by: T. V. Panchenko, et al.
Published: (2018)

DS-theory. Research of R-data division factors in order to generate applied algorithms. Part 1
by: Kolesnyk, V.G.
Published: (2017)

Toward software artifacts ecosystem
by: Sydorov, N.A.
Published: (2021)

Description model of programming style ecosystem
by: Sydorov, N.A., et al.
Published: (2020)

DS-theory. Presentation of canonical algorithm by means of algorithmic language
by: Kolesnyk, V.G.
Published: (2017)

Automated generation of parallel programs for graphics processing units based on algorithm schemes
by: Doroshenko, А.Yu., et al.
Published: (2017)

DS-theory. Scientific aspects and prospects for development
by: Kolesnyk, V.G.
Published: (2018)

Basics of programming in the context of software engineering
by: Sydorov, М.О.
Published: (2019)

The translator of Petri-object model visual programming language
by: Dyfuchyn, А.Yu.
Published: (2022)

The definition of formal languages in the meta language of normal forms of knowledge
by: Kurgaev, A.F., et al.
Published: (2018)

Jupyter Notebook: a system for interactive scientific computing
by: Yakimchik, A. I.
Published: (2019)

Formal model of scientific publication
by: Reznichenko, V.A., et al.
Published: (2015)

Performance analysis of massively parallel programs for graphics processing units
by: Rahozin, D.V.
Published: (2023)

A resource limited parallel program model
by: Rahozin, D.V.
Published: (2019)

Representation of monadic effects in the non-monadic form
by: Shevchenko, R.S.
Published: (2024)

The software tool of constructive-synthesizing modeling
by: Shynkarenko, V.I., et al.
Published: (2024)

Algebra-dynamic models for program parallelization
by: Doroshenko, A.Yu., et al.
Published: (2025)

Autotuning of parallel programs using the IBM Watsons Analytics data analysis system
by: Doroshenko, А.Yu., et al.
Published: (2018)

An approach of intelligent searching of information in texts
by: Chebanuyk, O.V.
Published: (2023)

Formalized design and synthesis of parallel programs for videographic shortcuts
by: Doroshenko, A.Yu., et al.
Published: (2025)

Influence of leadership style on motivation, productivity, and administrative decisions of managers and executives
by: Sergiienko, T.
Published: (2025)

50 years of software engineering
by: Sydorov, N.A.
Published: (2019)

Parallel non-negative sparse extra-large matrix factorization
by: Nasirov, E.M.
Published: (2025)

Formalized designing and generation of parallel program for numerical weather forecasting task
by: Doroshenko, A.Yu., et al.
Published: (2025)

Integration of algorithm algebra and term rewriting tools for developing efficient parallel programmes
by: Yatsenko, O.A.
Published: (2025)

DS-theory. The research of P-data factors formating
by: Kolesnyk, V.G.
Published: (2018)

On the possibility of a systematic study of the production management systems
by: Kolesnyk, V.G.
Published: (2018)

Formal verification of deep neural networks
by: Panchuk, B.O.
Published: (2024)

Context term calculus for rewriting systems
by: Shevchenko, R.S.
Published: (2018)

Semantics and pragmatics of programming language ASAMPL
by: Sulema, Y.S., et al.
Published: (2020)

Algebraic modeling in international and local service logistical systems
by: Letychevskyi, O.O., et al.
Published: (2021)

TermWare3 – term rewriting system, based on context-term calculus
by: Shevchenko, R.S., et al.
Published: (2019)

Survey on modern tools and methods of formal models verification
by: Kolchin, A.V., et al.
Published: (2015)

DS-theory. Research of R-data division factors in order to generate applied algorithms. Part 2
by: Kolesnyk, V.G.
Published: (2017)

Analytical review of approaches to integration of software systems
by: Dyvak, Y.A.
Published: (2021)