Rankers: A classification of synchronization problems

DOI10.1016/0167-6423(93)90009-EzbMath0801.68029OpenAlexW2007775898MaRDI QIDQ1314537

Ambuj K. Singh, Mohamed G. Gouda

Publication date: 17 February 1994

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

Full work available at URL: https://doi.org/10.1016/0167-6423(93)90009-e

zbMATH Keywords

resource allocationsynchronizationspecificationconcurrent computationmutual exclusiondining philosophers

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Specification and verification (program logics, model checking, etc.) (68Q60) Theory of operating systems (68N25) Distributed algorithms (68W15)

Related Items (1)

A modular drinking philosophers algorithm

This page was built for publication: Rankers: A classification of synchronization problems