A classification of process coordination schemes in descriptive power

DOI10.1007/BF00978521zbMath0446.68017OpenAlexW1999809761MaRDI QIDQ3891749

Mamoru Maekawa

Publication date: 1980

Published in: International Journal of Computer & Information Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00978521

zbMATH Keywords

semaphoresoperating systemmonitorsprocess synchronizationclassification of process coordination schemesevent variablesmutual exclusions

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Cites Work

• On an extension of Dijkstra's semaphore primitives
• Monitors
• Detection of parallelism between statements by decomposing into separate sequential processes
• A Comparison of Some Theoretical Models of Parallel Computation
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A classification of process coordination schemes in descriptive power