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

Original languageEnglish
Title of host publicationFormal development of programs and proofs
EditorsE.W. Dijkstra
Place of PublicationAmsterdam
PublisherAddison-Wesley
Pages152-158
Publication statusPublished - 1990

Cite this