Synchronization: Is a synthesis of the problems possible?

Authors:
Gerald Belpaire
Affiliations:
Courant Institute of Mathematical Sciences, New York University, 251 Mercer Street, New York, New York
Venue:
Proceedings of the 1975 ACM SIGCOMM/SIGOPS workshop on Interprocess communications
Year:
1975

Citing 5
Cited 1

A new solution of Dijkstra's concurrent programming problem

Communications of the ACM
Operating system principles

Operating system principles
The specification of process synchronization by path expressions

Operating Systems, Proceedings of an International Symposium
Schedulers as enforces in synchronization

Operating Systems, Proceedings of an International Symposium
Semantic aspects of concurrent processes

Proceeding of ACM SIGPLAN - SIGOPS interface meeting on Programming languages - operating systems

Survey of recent operating systems research, designs and implementations

ACM SIGOPS Operating Systems Review

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper exposes an idea to define a framework within which this twofold reality will be reflected, together with a method to define with precision the problems of synchronization at their proper level of abstraction. As such, it attempts to give an answer to the question of understanding what characterizes a problem of synchronization, how it is related to a programming method and what are the aspects of its implementation.