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)

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

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)

Метод доведення властивостей програм в композиційно-номінативних мовах IPCL
by: Панченко, Т.В.
Published: (2008)

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

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

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 (binary case)
by: F. G. Fejziev, et al.
Published: (2016)

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

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)

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

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

SAR Processing Algorithm with Built-In Geometric Correction
by: Bezvesilniy, O.O., et al.
Published: (2011)

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

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

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

A new proof of Frank-Weissenborn inequality
by: Gol`dberg, A.
Published: (2005)

Legal nature of electronic proofs in the economic court
by: A. M. Naichenko
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)

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

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

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)

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

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)

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

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 Decomposition of Global Conformal Invariants: Some Technical Proofs. I
by: Alexakis, S.
Published: (2011)

On Automata Minimization by Hopcroft&#039;s Algorithm
by: A. N. Chebotarev
Published: (2016)

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

Total differential
by: Trohimchuk, Yu. Yu, et al.
Published: (2017)

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