Accession Number : AD0750538

Title :   Still Another Tool for Synchronizing Cooperating Processes,

Corporate Author : CARNEGIE-MELLON UNIV PITTSBURGH PA DEPT OF COMPUTER SCIENCE

Personal Author(s) : Woden,P. L.

Report Date : AUG 1972

Pagination or Media Count : 17

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)

Descriptors :   (*COMPUTER PROGRAMMING, SCHEDULING), PROGRAMMING LANGUAGES, SET THEORY, ALGORITHMS

Subject Categories : Computer Programming and Software

Distribution Statement : APPROVED FOR PUBLIC RELEASE