The specification of process synchronization by path expressions

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 16 LNCS, Issue , 1974, Pages 89-102

  Campbell, R H ^a   Habermann, A N ^b  

^a NEWCASTLE UNIVERSITY   (United Kingdom)

^b CARNEGIE MELLON UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

DATA OBJECTS; PATH EXPRESSIONS; PROCESS SYNCHRONIZATION; SYNCHRONIZATION OPERATION;

SYNCHRONIZATION;

EID: 84976749912     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/BFb0029355     Document Type: Conference Paper

References (11)

1. E.W. Dijkstra, Co-operating Sequential processes. (in Programming Languages, F. Genuys, ed. Academic Press, New York, 1968).
2. A.N. Habermann, Synchronization of Communicating Processes. CACM 15, 3, (March 1972), pp. 171–176.
3. C.A.R. Hoare, Monitors, An operating system structuring concept. (To be published).
4. P. Brinch Hanson, Nucleus of a Multiprogramming System. CACM 13, 4, (April 1970), pp. 238–241.
5. E.W. Dijkstra, Hierarchical ordering of sequential processes. (in Operating Systems Techniques) ed. C.A.R. Hoare and R.H. Perrott, Academic Press. (1973).
6. The programming language PASCAL, Acta Informatica, Vol. 1, 1, (May 1971), pp. 35–63.
7. Final Draft Report on the Algorithmic Language Algol 68.
8. O-J. Dahl, B. Myrhhaug and K. Nygaaŕd, the Simula 67 Common Base Language. Norwegian Computing Centre. (1970).
9. P.J. Courtois, F. Heymans and D.L. Parnas, Concurrent Control with. “Readers” and “Writers”. CACM 14, 10 (October 1971). pp.667–668.
10. P. Brinch Hansen, Structured Multiprogramming. CACM 15, 7 (July 1972) pp.574.
11. W. Wegbreit, B. Brosgol, G. Holloway, C. Premier and J. Spitzen, E.C.L. Programmers Manual. Center for Research in Computing Technology, Harvard University, Cambridge, Massachusetts. (1972).