| Original language | English |
|---|---|
| Title of host publication | Formal development of programs and proofs |
| Editors | E.W. Dijkstra |
| Place of Publication | Amsterdam |
| Publisher | Addison-Wesley |
| Pages | 152-158 |
| Publication status | Published - 1990 |
A mathematical treatment of Peterson's general mutual exclusion algorithm
W.H.J. Feijen, A. Bijlsma
Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review