Event-Based Proof of the Mutual Exclusion Property of Peterson’s Algorithm
, und
25. März 2016
Über diesen Artikel
Online veröffentlicht: 25. März 2016
Seitenbereich: 325 - 331
Eingereicht: 14. Aug. 2015
DOI: https://doi.org/10.1515/forma-2015-0026
Schlüsselwörter
© 2015 Ievgen Ivanov et al., published by De Gruyter Open
This work is licensed under the Creative Commons Attribution-ShareAlike 3.0 License.
Ivanov, Ievgen
Nikitchenko, Mykola
Abraham, Uri