Cover Image

Peterson&#039;s Algorithm total correctness proof in IPCL

Saved in:

Bibliographic Details
Date:	2016
Main Author:	A. A. Zhygallo
Format:	Article
Language:	English
Published:	2016
Series:	Problems in programming
Online Access:	http://jnas.nbuv.gov.ua/article/UJRN-0000518776
Tags:	Add Tag No Tags, Be the first to tag this record!
Journal Title:	Library portal of National Academy of Sciences of Ukraine \| LibNAS

Institution

Library portal of National Academy of Sciences of Ukraine | LibNAS

Similar Items

Peterson’s Algorithm total correctness proof in IPCL
by: Zhygallo, A.A.
Published: (2016)

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

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

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

Peterson's Deformations of higher dimensional quadrics
by: Dincă, I.I.
Published: (2010)

Proof of Accuracy: Blockchain and Cryptocurrency Based on General Optimal Algorithms Theory
by: A. M. Kudin
Published: (2017)

The Proof of the Algorithms Convergence for Combinatorial Optimization with the Using Subclasses of the Solved Problems
by: N. K. Tymofiieva
Published: (2016)

Modification of Peterson-Gorenstein-Zierler method, bringing the matrix to triangular form
by: F. G. Fejziev, et al.
Published: (2018)

Modification of Peterson-Gorenstein-Zierler method, bringing the matrix to triangular form (binary case)
by: F. G. Fejziev, et al.
Published: (2016)

Electronic proofs and economic court
by: A. M. Naichenko
Published: (2017)

Another proof for the continuity of the Lipsman mapping
by: A. Messaoud, et al.
Published: (2020)

The proof of an equivalence of D&#039;alembert&#039;s and Cauchy&#039; tests in the theory of numerical series
by: L. P. Mironenko
Published: (2013)

The Algorithm of Checking for Correctness of Spline Regression Model
by: Yu. Savkina
Published: (2017)

Object of burden of proof in civil proceedings
by: N. B. Fartushok
Published: (2015)

The proof-structure of the transcendental deduction of categories
by: Yu. Fedorchenko
Published: (2015)

Legal nature of electronic proofs in the economic court
by: A. M. Naichenko
Published: (2017)

Algorithms for Dynamic Correction of the Thermal Flows’ Measuring Systems
by: Verlan, Andrey Anatolievich, et al.
Published: (2016)

A new simple proof of Cayles&#039;s formula and its relationship with the Kirkwood–Salzburg equations
by: O. L. Rebenko
Published: (2022)

Exact algorithm for finding the largest correcting codes problem for Z-channel
by: V. P. Shilo, et al.
Published: (2017)

A direct proof of the reflection principle for Brownian motion
by: S. J. Dilworth, et al.
Published: (2016)

Legal nature of writing proofs is in civil procedure of Ukraine
by: T. M. Kucher
Published: (2013)

Witness testimony as a means of proof in administrative proceedings
by: Ya. S. Kalmykova
Published: (2015)

Proof of theorems in fuzzy logic on the basis of structural resolution
by: Ju. Ja. Samokhvalov
Published: (2019)

Algorithms of building a model of the noisy process by correction of the law of its distribution
by: T. A. Aliev, et al.
Published: (2017)

Administrative aspect of proof development of the self organized business-system
by: O. V. Aleinikova
Published: (2014)

Victory at the Kulikovo Field as a Proof of Russian Victorious Strategy
by: V. S. Haietskyi
Published: (2011)

Comparative Analysis Proof-of-work vs Byzantine Fault-tolerance
by: O. O. Perekopskyi
Published: (2017)

Research evidence as a stage of the process of proof in Civil Proceedings
by: D. V. Shkrebets
Published: (2017)

The Exploitation of Hero&#039;s Image by Total Ideologies of XX Centuty
by: Yu. Yu. Kindzerska
Published: (2003)

Total differential
by: Ju. Ju. Trokhimchuk
Published: (2017)

A proof of a conjecture on convolution of harmonic mappings and some related problems
by: S. Yalзin, et al.
Published: (2021)

Formation of crisis-proof credit policy of business entities in economy of Ukraine
by: O. Rudyk
Published: (2012)

Interpretation of data: description, explanation, proof through the objectivism and positivism approaches
by: O. Petrenko
Published: (2011)

The proof of an equivalence of D’alembert’s and Cauchy’s tests in the theory of numerical series
by: Mironenko, L.P.
Published: (2013)

Features of subject of proof of crimes committed by documenting financial – business transactions
by: L. S. Kozak
Published: (2015)

Didactic and correction potential of fairy tale texts in teacher&#039;s work
by: A. Hanzha
Published: (2022)

Wild horse optimization algorithm implementation in 7-level packed U-cell multilevel inverter to mitigate total harmonic distortion
by: Ebrahimi, F., et al.
Published: (2024)

A simple proof of the Radó and Král theorems on removability of the zero locus for analytic and harmonic functions
by: Pokrovskii, A.V.
Published: (2015)

The burden of proof in civil proceedings: features of allocation of responsibilities for providing of evidence in contractual disputes
by: S. O. Koroied
Published: (2018)

Studying of producer of beebread and the proof of phenomenon entomophilous at introduction species of Amaranthus L. genus
by: O. L. Skrypka
Published: (2003)