Peterson's Algorithm total correctness proof in IPCL / Zhygallo, A. A. (2016)
UkrainianEnglish

web address of the page http://jnas.nbuv.gov.ua/article/UJRN-0000518776
  Problems in programming  Б - 2020  /     Issue (2016, № 2-3(спец. вип.))

Zhygallo A. A.
Peterson's Algorithm total correctness proof in IPCL

Cite:
Zhygallo, A. A. (2016). Peterson's Algorithm total correctness proof in IPCL. Problems in programming, 2-3(спец. вип.), 113-118. http://jnas.nbuv.gov.ua/article/UJRN-0000518776

 

Institute of Information Technologies of VNLU

+38 (044) 525-36-24
libnas@nbuv.gov.ua
Ukraine, 03039, Kyiv, Holosiivskyi Ave, 3, room 209