The geometry of semaphore programs

DOI10.1145/9758.9759zbMath0627.68022OpenAlexW2064785956MaRDI QIDQ3763578

S. D. Carson, Paul F. jun. Reynolds

Publication date: 1987

Published in: ACM Transactions on Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: http://www.acm.org/pubs/contents/journals/toplas/1987-9/

zbMATH Keywords

concurrent programsconcurrent processesmutual exclusionDeadlockconcurrent semaphore programsstatic deadlock detectionSynchronization errors

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Related Items (6)

Deadlocks and dihomotopy in mutual exclusion models ⋮ Cut-off theorems for the \textit{PV}-model ⋮ Unique decomposition of homogeneous languages and application to isothetic regions ⋮ Streams, d-Spaces and Their Fundamental Categories ⋮ Algebraic topology and concurrency ⋮ The geometry of conservative programs

This page was built for publication: The geometry of semaphore programs