Still Another Tool for Synchronizing Cooperating Processes,
Abstract
The paper outlines a synchronizing tool which, for some applications, is more convenient than the usual semaphore to obtain transparent programs and easy correctness proofs. The expressive power and the implementation of this new semaphore are briefly discussed. (Author)
Document Details
- Document Type
- Technical Report
- Publication Date
- Aug 01, 1972
- Accession Number
- AD0750538
Entities
People
- P. L. Woden
Organizations
- Carnegie Mellon University