Mutual Exclusion by Interpolation

DOI10.1007/978-3-642-29822-6_16MaRDI QIDQ2900264zbMATH OpenOpenAlexFDO

Authors Jael Kriener, Andy King

Publication date 20 July 2012

Published in Functional and Logic Programming (Search for Journal in Brave)

Full work available at URL https://kar.kent.ac.uk/37588/1/content.pdf

Mathematics Subject Classification ID

Logic programming (68N17) Functional programming and lambda calculus (68N18)

Recommendations

• Mutual exclusion scheduling
• Mutual exclusion on a hypercube
• Mutual exclusion as a matter of priority
• Adaptive and efficient mutual exclusion
• Superstabilizing mutual exclusion
• Improving fast mutual exclusion
• A fine-grained solution to the mutual exclusion problem
• A mutual exclusion algorithm with optimally bounded bypasses
• scientific article; zbMATH DE number 139935

Cited in

(3)

• Mutual exclusion scheduling
• Mutual exclusion as a matter of priority
• scientific article; zbMATH DE number 1630127 (Why is no real title available?)

This page was built for publication: Mutual Exclusion by Interpolation

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