Event-Based Proof of the Mutual Exclusion Property of Peterson’s Algorithm
Publié en ligne: 25 mars 2016
Pages: 325 - 331
Reçu: 14 août 2015
© 2015 Ievgen Ivanov et al., published by De Gruyter Open
This work is licensed under the Creative Commons Attribution-ShareAlike 3.0 License.