$A JUST=0
$A NLS=1; SGAP=1
$A PAGENO=0; TAB=1,10; INDENT=2
$L1 CM
BIBLIOGRAPHY.
$B5

$C-9 [@BE74] @BELPAIRE , .G. @WILMOTTE , .J. .P.
$B0
.'A SEMANTIC APPROACH TO THE THEORY OF PARALLEL PROCESSES.',
@PROC. @INTERNATIONAL @COMPUTING @SYMP., 1973, @DAVOS, @NORTH
@HOLLAND @PUB. @CO., @JAN. 1974.
$B1 $C-9 [@BE74] @BELPAIRE , .G. @WILMOTTE , .J. .P.
$B0
'@AN IMPLEMENTATION OF THE @D-OPERATIONS.', @SEMINAIRE .IRIA,
STRUCTURE ET PROGRAMMATION DES CALCULATEURS, 1974, PP.
13-17.
$B1
$C-9 [@BL67] @BLACKNEY , .G. .R. @CUDNEY , .L. .F. @EICKHOLM , .C. .R.
$B0
' .IBM 9020 MULTIPROCESSOR SYSTEM.', .IBM @SYSTEMS @JOURNAL,
@VOL. 6, @NO. 2, 1967, PP. 80-94


$B1


$C-9 [@BR70] @BRINCH-@HANSEN, .P.
$B0
'@THE NUCLEUS OF A MULTIPROGRAMMING SYSTEM.', .CACM, @VOL. 13,
@NO. 4, @APR., 1970, PP. 138-241.



$B1 $C-9 [@BR72] @BRINCH-@HANSEN, .P.
$B0
'@STRUCTURED MULTIPROGRAMMING.', .CACM, @VOL. 15, @NO. 7, @JUL.,
1972, PP. 574-578.


$B1


$C-9 [@CA74] @CAMPBELL , .R. .H.
$B0
'@THE SPECIFICATION OF PROCESS SYNCHRONISATION BY PATH
EXPRESSIONS.', @COLLOQUES .IRIA, @ASPECTS THEORIQUES ET
PRATIQUES DES SYSTEMES D'EXPLOITATION, @ROCQUENCOURT, @FRANCE,
@APR. 1974, PP. 93-106.


$B1





$C-9 [@CO71] @COFFMAN, .E. .G. @ELPHIC , .M. .J. @SHOSHANI , .A.
$B0
'@SYSTEM DEADLOCKS.', @COMP. @SUR., .ACM, @VOL. 3, @NO. 2, @JUN.,
1971, PP. 67-78.



$B1





$C-9 [@CO71] @COURTOIS , .P. .J. @HEYMANS, .F. @PARNAS , .D. .L.
$B0
'@CONCURRENT CONTROL WITH READERS AND WRITERS.', .CACM, @VOL.
14, @NO. 10, @OCT. 1971, PP. 667-668.


$B1
$C-9 [@CO73] @COLEMAN, .M. .L.
$B0
' .ACCNET - @A CORPORATE COMPUTER NETWORK.', .AFIPS @CONF.
@PROC., @VOL. 42, 1973, PP. 133-140.


$B1










$C-9 [@CR72] @CROCKER, .S. .D. @HEAFNER, .J. .F. @METCALFE , .R. .M.
@P OSTEL , .J. .B.
$B0
'@FUNCTION ORIENTED PROTOCOLS FOR THE .ARPA COMPUTER
NETWORK.', .AFIPS @CONF. @PROC., @VOL. 40, 1972, PP. 271-279.



$B1








$C-9 [@DE66] @DENNIS , .J. .B. @VAN-@HORN , .E. .C.
$B0
'@PROGRAMMING SEMANTICS FOR MULTIPROGRAMMED COMPUTATIONS.',
.CACM, @VOL. 9, @NO. 3, @MAR. 1966, PP. 143-155.



$B1


$C-9 [@DI65] @DIJKSTRA , .E. .W.
$B0
'@SOLUTION OF A PROBLEM IN CONCURRENT PROGRAMMING CONTROL.',
.CACM, @VOL. 8, @NO. 9, @SEP. 1965, P. 569.



$B1 $C-9 [@DI68] @DIJKSTRA , .E. .W.
$B0
'@CO-OPERATING SEQUENTIAL PROCESSES.', IN %@PROGRAMMING
%@LANGUAGES .(E. @GENUYS @ED.) , @ACADEMIC @PRESS, @LONDON AND @NEW
@YORK, 1968.



$B1
$C-9 [@DI68B] @DIJKSTRA , .E. .W.
$B0
'@THE STRUCTURE OF .THE MULTIPROGRAMMING SYSTEM.', .CACM, @VOL.
11, @NO. 5, @MAY 1968, PP. 341-346.


$B1
$C-9 [@DI72] @DIJKSTRA , .E. .W.
$B0
@HIERARCHICAL ORDERING OF SEQUENTIAL PROCESSES.', IN
%@OPERATING %@SYSTEMS %@TECHNIQUES, .(C. .A. .R. @HOARE, .R. .H.
@PERROT,
@ED.), @ACADEMIC @PRESS, @LONDON & @NEW @YORK, 1972



$B1
$C-9 [@EI72] @EISENBERG, .M. .A. @MC-GUIRE , .M. .R.
$B0
'@FURTHER COMMENTS ON @DIJKSTRA'S CONCURRENT PROGRAMMING
CONTROL PROBLEM.', .CACM, @VOL. 15, @NO. 11, @NOV. 1972, P. 999.


$B1





$C-9 [@EN74] @ENGLAND, .D. .M.
$B0
'@CAPABILITY CONCEPT MECHANISMS AND STRUCTURE IN SYSTEM
250.', .IRIA, @INTERNATIONAL WORKSHOP ON PROTECTION IN
OPERATING SYSTEMS, @ROCQUENCOURT, @FRANCE, @AUG. 1974, PP.
63-82.



$B1


$C-9 [@FA74] @FABRY, .R. .S.
$B0
'@CAPABILITY BASED ADDRESSING.', .CACM, @VOL. 17, @NO. 7, @JUL.
1974, PP. 403-412.



$B1


$C-9 [@FE74] @FERRIE , .J. @KAISER , .C. @LANCIAUX , .D. @MARTIN
, .B.
$B0
'@AN EXTENSIBLE STRUCTURE FOR PROTECTED SYSTEMS' DESIGN.',
.IRIA, @INTERNATIONAL WORKSHOP ON PROTECTION IN OPERATING
SYSTEMS, @ROCQUENCOURT, @FRANCE, @AUG. 1974, PP. 83-106.


$B1


$C-9 [@FE73] @FEUSTAL, .E. .A.
$B0
'@ON THE ADVANTAGES OF TAGGED ARCHITECTURE.', .IEEE @TRANS. ON
@COMPUTERS, @VOL. .C-22, @NO. 7, @JUL. 1973, PP. 644-656.



$B1





$C-9 [@GA72] @GAINES , .R. .S.
$B0
'@AN OPERATING SYSTEM BASED ON THE CONCEPT OF A SUPERVISORY
COMPUTER.', .CACM, @VOL. 15, @NO. 3, @MAR. 1972, PP. 150-156.


$B1


$C-9 [@GI72] @GILBERT, .P. @CHANDLER , .W. .J.
$B0
'@INTERFERENCE BETWEEN COMMUNICATING PARALLEL PROCESSES.',
.CACM, @VOL. 15, @NO. 6, @JUN. 1972, PP. 427-437


$B1


$C-9 [@HA69] @HABERMANN, .A. .N.
$B0
'@PREVENTION OF SYSTEM DEADLOCKS.', .CACM, @VOL. 12, @NO. 7,
@JUL. 1969, PP. 373-377.


$B1 $C-9 [@HA72] @HABERMANN, .A. .N.
$B0
'@SYNCHRONISATION OF COMMUNICATING PROCESSES.', .CACM, @VOL.
15, @NO 3, @MAR. 1972, PP. 171-176.



$B1 $C-9 [@HA76] @HABERMANN, .A. .N. @FLON , .L. @COOPRIDER, .L.
$B0
'@MODULARISATION AND HIERARCHY IN A FAMILY OF OPERATING
SYSTEMS.', .CACM @VOL. 19, @NO. 5, @MAY 1976, PP. 266-272.



$B1





$C-9 [@HE73] @HEART, .F. .E. @ORNSTEIN , .S. .M. @CROWTHER , .W. .R.
@B ARKER , .W. .B.
$B0
.'A NEW MINICOMPUTER MULTIPROCESSOR FOR THE .ARPA NETWORK.',
.AFIPS @CONF. @PROC., @VOL. 41, 1973, PP. 529-537.


$B1








$C-9 [@HO74] @HOARE, .C. .A.
$B0
'@MONITORS: @AN OPERATING SYSTEM STRUCTURING CONCEPT.', .CACM,
@VOL. 17, @NO. 10, @OCT. 1974, PP. 549-557.



$B1


$C-9 [@HO72] @HOLT , .R. .C.
$B0
'@SOME DEADLOCK PROPERTIES OF COMPUTER SYSTEMS.', @COMP. @SUR.,
.ACM, @VOL. 4, @NO. 3, @SEP., 1972, PP. 179-196.



$B1


$C-9 [@IL68] @ILIFFE , .J. .K.
$B0
%@BASIC %MACHINE %PRINCIPLES. @MAC @DONALD @ELSEVIER, 1968.


$B1


$C-9 [@IN73] @INTERDATA, .I.
$B0
@INTERDATA USER'S MANUAL., @INTERDATA @INC., @FEB. 1973,



$B1





$C-9 [@JO74] @JONES, .A. .K. @WULF , .W. .A.
$B0
'@TOWARDS THE DESIGN OF SECURE SYSTEMS.', .IRIA, @INTERNATIONAL
@WORKSHOP ON @PROTECTION IN @OPERATING @SYSTEMS, @ROCQUENCOURT,
@FRANCE, @AUG. 1974, PP. 121-135



$B1





$C-9 [@KN66] @KNUTH, .D. .E.
$B0
'@ADDITIONAL COMMENTS ON A PROBLEM IN CONCURRENT PROGRAMMING
CONTROL.', .CACM, @VOL. 9, @NO. 6, @MAY 1966, PP. 321-322.


$B1 $C-9 [@KN68] @KNUTH, .D. .E.
$B0
%@THE %ART %OF %COMPUTER %PROGRAMMING., @VOL. 1, @ADDISON @WESLEY,
@READING, @MASS., 1968.



$B1





$C-9 [@LA68] @LAMPSON, .B. .W.
$B0
.'A SCHEDULING PHILOSOPHY FOR MULTIPROCESSING SYSTEMS.',
.CACM, @VOL. 11, @NO. 5, @MAY 1968, PP. 347-360.


$B1 $C-9 [@LA69] @LAMPSON, .B. .W.
$B0
'@DYNAMIC PROTECTION STRUCTURES.', .AFIPS @CONF. @PROC., @VOL.
35, 1969, PP. 27-38.
$B1
$C-9 [@LA71] @LAMPSON, .B. .W.
$B0
'@PROTECTION.', @PROC. @FIFTH @PRINCETON @SYMP. ON @INFORMATION
@SCIENCES AND @SYSTEMS, @PRINCETON @UNIVERSITY, @MAR. 1971, PP.
437-443, REPRINTED IN @OPERATING @SYSTEMS @REVIEW, @VOL. 8, @NO.
1, @JAN. 1974, PP. 18-24.



$B1 $B1
$C-9 [@LA76] @LAMPSON, .B. .W. @STURGIS, .H. .E.
$B0
'@REFLECTIONS ON AN OPERATING SYSTEM DESIGN.', .CACM, @VOL. 19,
@NO. 5, @MAY 1976, PP. 251-265.


$B1
$C-9 [@LA74] @LAUER, .H. .C.
$B0
'@PROTECTION IN HIERARCHICAL ADDRESSING STRUCTURES.', .IRIA,
@INTERNATIONAL WORKSHOP ON PROTECTION IN OPERATING SYSTEMS,
@ROCQUENCOURT, @FRANCE, @AUG. 1974, PP. 137-148.


$B1


$C-9 [@LA75] @LAUSEN , .S.
$B0
.'A LARGE SEMAPHORE BASED OPERATING SYSTEM.', .CACM, @VOL. 18,
@NO. 7, @JUL. 1975, PP. 377-389



$B1


$C-9 [@LE68] @LETT , .A. .S. @KONIGSFORD , .W. .L.
$B0
' .TSS/360 @A TIME-SHARED OPERATING SYSTEM.', .AFIPS @CONF.
@PROC., @VOL. 33 @PART .I, 1968, PP. 15-28.


$B1





$C-9 [@LI74] @LIPTON , .R. .J.
$B0
'@SCHEDULERS AS ENFORCERS IN SYNCHRONISING PROCESSES.',
@COLLOQUES .IRIA, @ASPECTS THEORIQUES ET PRATIQUES DES SYSTEMES
D'EXPLOITATION, @ROCQUENCOURT, @FRANCE, @APR. 1974, PP.
245-264.



$B1


$C-9 [@LI72] @LISKOV , .B. .H.
$B0
'@THE DESIGN OF THE .VENUS OPERATING SYSTEM.', .CACM, @VOL. 15,
@NO. 3, @MAR. 1972, PP. 144-149.



$B1


$C-9 [@LL73] @LLEWELLYN, .J. .A.
$B0
'@THE DEADLY EMBRACE - @A FINITE STATE MODEL APPROACH.', @THE
@COMPUTER @JOURNAL, @VOL. 16, @NO. 3, @AUG. 1973, PP. 223-225.



$B1
$C-9 [@LY72] @LYNCH , @W. @C.
$B0
'@AN OPERATING SYSTEM DESIGNED FOR THE COMPUTER UTILITY
ENVIRONMENT.', IN %@OPERATING %@SYSTEMS
%@TECHNIQUES, (@C. @A. @R. @HOARE, @R. @H. @PERROT, @ED.),
@ACADEMIC @PRESS, @LONDON & @NEW @YORK, 1972, PP.341-350.
$B1
$C-9 [@MO73] @MORRIS , .J. .H.
$B0
'@PROTECTION IN PROGRAMMING LANGUAGES.', .CACM, @VOL. 16, @NO.
1, @JAN. 1973, PP. 15-21.



$B1


$C-9 [@NE74] @NEEDHAM, .R. .M. @WILKES , .M. .V.
$B0
'@DOMAINS OF PROTECTION AND THE MANAGEMENT OF PROCESSES.',
@THE @COMPUTER @JOURNAL, @VOL. 17, @NO. 2, @MAY 1974, PP. 117-123.


$B1 $C-9 [@NE72] @NEEDHAM, .R. .M.
$B0
'@PROTECTION SYSTEMS AND PROTECTION IMPLEMENTATIONS.', .AFIPS
@CONF. @PROC., @VOL. 41, 1972, PP. 571-578.


$B1








$C-9 [@PA75] @PARNAS , .D. .L.
$B0
'@ON A SOLUTION TO THE CIGARRETTE SMOKER'S PROBLEM (WITHOUT
CONDITIONAL STATEMENTS).', .CACM, @VOL. 18, @NO. 3, @MAR. 1975,
PP. 181-183.



$B1





$C-9 [@RE74] @REDELL , .D. .D.
$B0
@NAMING AND PROTECTION IN EXTENDIBLE OPERATING SYSTEMS., @PH.
.D. @THESIS, @UNIV. OF @CALIFORNIA, @BERKELEY, @SEP. 1974, 161 PP.


$B1 $C-9 [@RE74B] @REDELL , .D. .D. @FABRY, .R. .S.
$B0
'@SELECTIVE REVOCATION OF CAPABILITIES.', .IRIA, @INTERNATIONAL
WORKSHOP ON PROTECTION IN OPERATING SYSTEMS, @ROCQUENCOURT,
@FRANCE, @AUG. 1974, PP. 197-209.


$B1


$C-9 [@RE75] @REES , .D. .J.
$B0
'@THE .EMAS DIRECTOR.', @THE @COMPUTER @JOURNAL, @VOL. 18, @NO. 2,
@MAY, 1975, PP. 122-130.


$B1


$C-9 [@RO65] @ROSEN, .S.
$B0
'@PROGRAMMING SYSTEMS AND LANGUAGES 1965-1975.', .CACM, @VOL.
15, @NO 7, @JUL. 1972, PP. 591-600.


$B1





$C-9 [@SP69] @SPIER, .M. .J. @ORGANICK , .E. .I.
$B0
'@THE .MULTICS @INTER-PROCESS COMMUNICATION FACILITY.', @PROC.
@SECOND .ACM @SYMP. ON @OPERATING @SYSTEMS @PRINCIPLES, @PRINCETON,
@NEW @JERSEY, @OCT. 1969, PP. 83-94.


$B1


$C-9 [@ST67] @STANGA , .D. .C.
$B0
'@UNIVAC 1108 MULTIPROCESSOR SYSTEM.', .AFIPS @CONF. @PROC.,
@VOL. 30, 1967, PP. 67-74.


$B1


$C-9 [@ST75] @STEELE , .G. .L.
$B0
'@MULTIPROCESSING COMPACTIFYING GARBAGE COLLECTION.', .CACM,
@VOL. 18, @NO. 9, @SEP. 1975, PP. 495-508.


$B1





$C-9 [@TH72] @THOMAS , .R. .H. @HENDERSON, .D. .H.
$B0
'@MC@ROSS - @A MULTI-COMPUTER PROGRAMMING SYSTEM.', .AFIPS @CONF.
@PROC., @VOL. 40, 1972, PP. 281-294.



$B1








$C-9 [@VA73] @VANTILBORGH, .H. @VAM-LAMSWEERDE , .A.
$B0
'@ON AN EXTENSION OF @DIJKSTRA'S SEMAPHORE PRIMITIVES.',
@SEMINAIRE .IRIA, STRUCTURE ET PROGRAMMATION DES CALCULATEURS,
1973, PP. 31-39.



$B1


$C-9 [@WA72] @WALDEN , .D. .C.
$B0
.'A SYSTEM FOR INTER-PROCESS COMMUNICATIONS IN A RESOURCE
SHARING COMPUTER NETWORK.', .CACM, @VOL 15, @NO. 4, @APR. 1972,
PP. 221-230


$B1


$C-9 [@WH73] @WHITFIELD, .H. @WIGHT, .A. .S.
$B0
' .EMAS - @THE @EDINBURGH MULTI ACCESS SYSTEM.', @THE @COMPUTER
@JOURNAL, @VOL. 16, @NO. 4, @NOV. 1973, PP. 334-346.



$B1











$C-9 [@WU72] @WULF , .W. .A. @BELL , .C. .G.
$B0
'@C.MMP - @A MULTI-MINI-PROCESSOR.', .AFIPS @CONF. @PROC., @VOL.
40, 1972, PP. 755-777.


$B1 $C-9 [@WU74] @WULF , .W. .A. @COHEN, .E. @CORWIN , .W. @JONES,
.A. @LEVIN, .R.
$B0
' .HYDRA: @THE KERNEL OF A MULTIPROCESSOR OPERATING SYSTEM.',
.CACM, @VOL. 17, @NO. 6, @APR. 1974, PP. 238-241.
$B1
$E