Accès libre

Event-Based Proof of the Mutual Exclusion Property of Peterson’s Algorithm

Ievgen Ivanov

Ievgen Ivanov

Recherchez cet auteur sur
Sciendo|Google Scholar
Ivanov, Ievgen
, 
Mykola Nikitchenko

Mykola Nikitchenko

Recherchez cet auteur sur
Sciendo|Google Scholar
Nikitchenko, Mykola
 et 
Uri Abraham

Uri Abraham

Recherchez cet auteur sur
Sciendo|Google Scholar
Abraham, Uri
  
25 mars 2016
Event-Based Proof of the Mutual Exclusion Property of Peterson’s Algorithm's Cover Image
À propos de cet article
Article précédent
Article suivant
Citez
Télécharger la couverture
Publié en ligne: 25 mars 2016
Pages: 325 - 331
Reçu: 14 août 2015
DOI: https://doi.org/10.1515/forma-2015-0026
Mots clés
© 2015 Ievgen Ivanov et al., published by De Gruyter Open
This work is licensed under the Creative Commons Attribution-ShareAlike 3.0 License.
Langue:
Anglais
Périodicité:
1 fois par an
Sujets de la revue:
Informatique, Informatique, autres, Mathématiques, Mathématiques générales
RSS Feed de la revue