Tournaments for mutual exclusion: verification and concurrent complexity

DOI10.1007/S00165-016-0407-XMaRDI QIDQ1682286zbMATH OpenOpenAlexWikidataFDO

Authors W. H. Hesselink

Publication date 29 November 2017

Published in Formal Aspects of Computing (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/s00165-016-0407-x

zbMATH Keywords

\textsc{unity}concurrencyconcurrent complexitymutual exclusionshared variables

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Graph theory (including graph drawing) in computer science (68R10) Distributed algorithms (68W15)

Recommendations

• A queue based mutual exclusion algorithm
• Improving fast mutual exclusion
• Adaptive and efficient mutual exclusion
• The mutual exclusion problem
• A fast, scalable mutual exclusion algorithm

Cites work

• A new solution of Dijkstra's concurrent programming problem
• An axiomatic proof technique for parallel programs
• Arbitration without common modifiable variables
• Correctness and concurrent complexity of the black-white bakery algorithm
• scientific article; zbMATH DE number 1639446 (Why is no real title available?)
• scientific article; zbMATH DE number 194539 (Why is no real title available?)
• Myths about the mutual exclusion problem
• Progress under bounded fairness
• The Black-White Bakery Algorithm and Related Bounded-Space, Adaptive, Local-Spinning and FIFO Algorithms
• The mutual exclusion problem
• The Rely-Guarantee method for verifying shared variable concurrent programs
• Verification of sequential and concurrent programs

Cited in

(1)

• Mutual exclusion versus coexistence for discrete competitive systems

Describes a project that uses

Uses Software

• UNITY

This page was built for publication: Tournaments for mutual exclusion: verification and concurrent complexity

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