Peterson's mutual exclusion algorithm revisited

DOI10.1016/S0167-6423(97)00003-8MaRDI QIDQ1370158zbMATH OpenOpenAlexFDO

Authors F. W. van der Sommen, W. H. J. Feijen, A. J. M. van Gasteren

Publication date 26 October 1997

Published in Science of Computer Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0167-6423(97)00003-8

zbMATH Keywords

mutual exclusion algorithm

Mathematics Subject Classification ID

Theory of software (68N99)

Recommendations

• ZB 2005: Formal Specification and Development in Z and B
• A queue based mutual exclusion algorithm
• scientific article; zbMATH DE number 2086790
• The mutual exclusion problem
• The mutual exclusion problem. I: A theory of interprocess communication

Cited in

(8)

• The mutual exclusion problem
• Event-based proof of the mutual exclusion property of Peterson's algorithm
• A mutual exclusion algorithm with optimally bounded bypasses
• The mutual exclusion problem: part II---Statement and solutions
• ZB 2005: Formal Specification and Development in Z and B
• Assertional and behavioral approaches to concurrency
• Verifying a simplification of mutual exclusion by Lycklama-Hadzilacos
• scientific article; zbMATH DE number 2086790 (Why is no real title available?)

This page was built for publication: Peterson's mutual exclusion algorithm revisited

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1370158)