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

Ievgen Ivanov, Mykola Nikitchenko, Uri Abraham

Research output: Contribution to journalArticlepeer-review

1 Scopus citations

Fingerprint

Dive into the research topics of 'Event-Based Proof of the Mutual Exclusion Property of Peterson's Algorithm'. Together they form a unique fingerprint.

Mathematics

Engineering & Materials Science