Programming in MODULA-2 (3rd corrected ed.)
Programming in MODULA-2 (3rd corrected ed.)
Concepts and Notations for Concurrent Programming
ACM Computing Surveys (CSUR)
Experience with processes and monitors in Mesa
Communications of the ACM
High level programming for distributed computing
Communications of the ACM
Communicating sequential processes
Communications of the ACM
Distributed processes: a concurrent programming concept
Communications of the ACM
Monitors: an operating system structuring concept
Communications of the ACM
The architecture of concurrent programs
The architecture of concurrent programs
Principles of proving concurrent programs in Gypsy
POPL '79 Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
A Comparison of Two Notations for Process Communication
Proceedings of a Symposium on Language Design and Programming Methodology
On the duality of operating system structures
ACM SIGOPS Operating Systems Review
Control and communication in programmed systems
Control and communication in programmed systems
Resource scheduling: specification and proof techniques
CSC '88 Proceedings of the 1988 ACM sixteenth annual conference on Computer science
Hi-index | 0.01 |
This paper presents a new linguistic mechanism for expressing and controlling inter-process interactions. Unlike existent designs such as monitor- or message-based mechanisms, which generally provides a set of relatively low-level primitives for users to implement various inter-process synchronization constraints, this mechanism provides a general conceptual framework to help users visualize and specify inter-process synchronization and communication from a higher-level vantage point. This conceptual framework highlights two distinct and frequently-used high-level concepts in parallel programming : condition synchronization and scheduling and, in most of the useful cases, users can simply specify the synchronization constraints imposed by these concepts in a given problem, without having to implement the constraints with some lower-level primitives.