Accession Number:
AD0750538
Title:
Still Another Tool for Synchronizing Cooperating Processes,
Descriptive Note:
Corporate Author:
CARNEGIE-MELLON UNIV PITTSBURGH PA DEPT OF COMPUTER SCIENCE
Personal Author(s):
Report Date:
1972-08-01
Pagination or Media Count:
17.0
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
Subject Categories:
- Computer Programming and Software