Export Citations
2 Results for: Book/Issue: SOSP '77: Proceedings of the sixth ACM symposium on Operating systems principles
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
Searched The ACM Guide to Computing Literature (3,823,142 records)|Limit your search to The ACM Full-Text Collection (772,325 records)
Showing 1 - 2of2 Results
Select All
- ArticleNovember 1977
Synchronization with eventcounts and sequencers (Extended Abstract)
SOSP '77: Proceedings of the sixth ACM symposium on Operating systems principlesPage 91https://doi.org/10.1145/800214.806550The design of computer systems to be concurrently used by multiple, independent users requires a mechanism that allows programs to synchronize their use of shared resources. Many such mechanisms have been developed and used in practical applications. ...
Also Published in:
ACM SIGOPS Operating Systems Review: Volume 11 Issue 5 - ArticleNovember 1977
Consistency and correctness of duplicate database systems
SOSP '77: Proceedings of the sixth ACM symposium on Operating systems principlesPages 67–84https://doi.org/10.1145/800214.806548Solutions to the duplicate database update problem are considered, and a formal validation technique using the theory of L systems is developed and applied to the problem. The paper shows some particular solutions but is primarily concerned with general ...
Also Published in:
ACM SIGOPS Operating Systems Review: Volume 11 Issue 5
