Rankers: A classification of synchronization problems

From MaRDI portal

Revision as of 12:00, 31 January 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:1314537

Jump to:navigation, search

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 allocation synchronization specification concurrent computation mutual exclusion dining 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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:1314537&oldid=13432713"