scientific article; zbMATH DE number 5019549

MaRDI QIDQ5290073zbMATH OpenFDO

Authors

Publication date 26 April 2006

zbMATH Keywords

starvation-free synchronization

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)

Recommendations

• scientific article; zbMATH DE number 3874587
• Toward a theory of maximally concurrent programs (shortened version)
• scientific article; zbMATH DE number 1049169
• In the search for optimal concurrency
• The concurrency hierarchy, and algorithms for unbounded concurrency
• Maximally concurrent programs
• scientific article; zbMATH DE number 3870604
• Constraint-based concurrency and beyond

Cited in

(7)

• Starvation-free monitors
• Towards a thread-local proof technique for starvation freedom
• Starvation-free mutual exclusion with semaphores
• THE CONTROL OF STARVATION
• scientific article; zbMATH DE number 7526274 (Why is no real title available?)
• Deadlock and starvation free reentrant readers-writers: a case study combining model checking with theorem proving
• On starvation and some related issues

This page was built for publication:

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