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

Descriptors:

Subject Categories:

  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE


View the full text of this report