Concepts and Notations for Concurrent Programming

@article{Andrews1983ConceptsAN,
  title={Concepts and Notations for Concurrent Programming},
  author={G. Andrews and F. Schneider},
  journal={ACM Comput. Surv.},
  year={1983},
  volume={15},
  pages={3-43}
}
Much has been learned in the last decade about concurrent programming. This paper identifies the major concepts and describes some of the more important language notations for writing concurrent programs. The roles of processes, communication and syhchronization are discussed from both an operational and an axiomatic viewpoint. Language notations for expressing concurrent execution and for specifying process interaction are surveyed. Synchronization primitives based on shared variables and on… Expand
Real-Time Programming Languages for Process Control
Processes, Tasks, and Monitors: A Comparative Study of Concurrent Programming Primitives
An extension of the language C for concurrent programming
A survey of systems programming languages: Concepts and facilities
Communication Primitives in Programming and Specification Languages
  • M. Hennessy
  • Computer Science
  • Networking in Open Systems
  • 1986
Modelling Concurrent Modules
...
1
2
3
4
5
...

References

SHOWING 1-10 OF 21 REFERENCES
Structured multiprogramming
Guardians and Actions: Linguistic Support for Robust, Distributed Programs
Toward a discipline of real-time programming
MODULA: a language for modular multiprogramming
The solo operating system: Job interface
Principles of proving concurrent programs in Gypsy
Design of a separable transition-diagram compiler
Design and implementation of modula
  • N. Wirth
  • Computer Science
  • Softw. Pract. Exp.
  • 1977
The use of modula
  • N. Wirth
  • Computer Science
  • Softw. Pract. Exp.
  • 1977
A Proof System for Communicating Sequential Processes
...
1
2
3
...