Cooperating sequential processes

@inproceedings{Dijkstra2002CooperatingSP,
  title={Cooperating sequential processes},
  author={Edsger W. Dijkstra},
  year={2002}
}
This chapter is intended for all those who expect that in their future activities they will become seriously involved in the problems that arise in either the design or the more advanced applications of digital information processing equipment; they are further intended for all those who are just interested in information processing. 
View via Publisher
754 Citations
Highly Influential Citations
38
Background Citations
207
Methods Citations
117
Results Citations
2

754 Citations

The synchronization of independent processes
TLDR
An algorithm is given which implements a powerful synchronizing primitive under very weak assumptions about the nature of interprocess communication, and a careful informal proof of its correctness is given.
Logical Control of Complex Resource Allocation Systems
Abstract This document epitomizes the main points of a plenary presentation under the same title that was given by the author at the 14th Workshop on Discrete Event Systems (WODES 2018).
2 . 2 Distributed artificial intelligence
This paper proposes an alternative approach to that of considering conflict as a foremost problem to be solved in a sy stem made up of multiple entities, by suggesting to integrate it w ithout…
A Brief History of Software Engineering
  • N. Wirth
  • Computer Science
    IEEE Annals of the History of Computing
  • 2008
This personal perspective on the art of programming begins with a look at the state of programming from about 1960, and it follows programming's development through the present day. The article…
Coordinating Autonomy: Sequential Resource Allocation Systems for Automation
  • S. Reveliotis
  • Computer Science
    IEEE Robotics & Automation Magazine
  • 2015
TLDR
The corresponding supervisory control problem is formalized, the major results that are currently available for it are surveyed, and the remaining open challenges for the corresponding research community are highlighted.
An outline of a course on operating system principles
In 1970 the author began writing a comprehensive textbook on operating system principles. This is a description of its structure and how far it had progressed a year later.
A classification of process coordination schemes in descriptive power
  • M. Maekawa
  • Computer Science
    International Journal of Computer & Information Sciences
  • 2004
TLDR
Nineteen process coordination schemes are comparatively studied and classified to provide operating system designers with a cookbook type manual and a suggestion in selecting a proper set of schemes is provided.
Instruction Execution Cycle and Cooperation of Processes
This chapter contains an outline of structure and functioning of stand-alone internally controlled computer with sequential processor, as well as its functioning in a collection of such machines. The…
Mobile Channels for Exogenous Coordination of Distributed Systems: Semantics, Implementation and Composition
TLDR
This thesis presents MoCha, a novel coordination framework that makes it possible to coordinate components from the 'outside' (exogenous), and thus, change a distributed system's behavior without having to change its components.
Una aproximación a un modelo concurrente de ciclo de vida software con calidad total
The modeling of the Software Process is a guideline for the organization of the activities which involve all the development stages for the resolution of the problems that the software development…
...
...