Processes, tasks, and monitors: a comparative study of concurrent programming primitives
Journal Article
·
· IEEE Trans. Software Eng.; (United States)
Three notations for concurrent programming are compared, namely CSP, ADA, and monitors. CSP is an experimental language for exploring structuring concepts in concurrent programming. ADA is a general-purpose language with concurrent programming facilities. Monitors are a construct for managing access by concurrent processes to shared resources. The authors start by comparing lower-level communication, synchronization, and nodeterminism in CSP and ADA and then examine higher-level module interface properties of ada tasks and monitors. 19 references.
- Research Organization:
- Brown Univ., Providence, RI
- OSTI ID:
- 5304386
- Journal Information:
- IEEE Trans. Software Eng.; (United States), Journal Name: IEEE Trans. Software Eng.; (United States) Vol. 4; ISSN IESED
- Country of Publication:
- United States
- Language:
- English
Similar Records
General-purpose algorithm for analyzing concurrent programs
Ada concurrent programming
Modular verification of concurrent systems
Journal Article
·
Sun May 01 04:00:00 UTC 1983
· Commun. ACM; (United States)
·
OSTI ID:5342617
Ada concurrent programming
Book
·
Sun Jan 01 04:00:00 UTC 1984
·
OSTI ID:6189452
Modular verification of concurrent systems
Thesis/Dissertation
·
Wed Jan 01 04:00:00 UTC 1986
·
OSTI ID:6595195