Specification and Implementation of Mutual Exclusion

DOI10.1109/TSE.1978.233856zbMATH Open0385.68024MaRDI QIDQ4166206FDOQ4166206

Authors: Per Brinch Hansen, Jørgen Staunstrup 

Publication date: 1978

Published in: IEEE Transactions on Software Engineering (Search for Journal in Brave)

Mathematics Subject Classification ID

Theory of operating systems (68N25)

This page was built for publication: Specification and Implementation of Mutual Exclusion

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