Abstract is missing.
- Synchronization mechanisms for parallel processingNobuo Saito. 2-22
- A parallel programming language and description of schedulerHajime Enomoto, Naoki Yonezaki, Isao Miyamura, Masayuki Sunuma. 23-41
- Specification of schedulers with algebraic specification techniquesKouichi Wada, Kenichi Hagihara, Toshiro Araki, Nobuki Tokura. 42-62
- Generalized dynamic authorization mechanismsYahiko Kambayashi. 63-77
- Program behavior and its modelsTakashi Masuda, Tong-Haing Fin. 80-103
- CPU scheduling for effective multiprogrammingHisao Kameda. 104-118
- Dynamic Tuning of operating systemsChiaki Ishikawa, Ken Sakamura, Mamoru Maekawa. 119-142
- On Pseudo Workload for performance measurement of interactive systemsMasatoshi Miyazaki, Shigeru Matsuzawa, Seiziro Obata, Shoichi Noguchi. 143-158
- Modifiability of large software systemsLaszlo A. Belady. 160-174
- Operating system conceptual model for ease of extensionMamoru Maekawa. 175-205
- Perspective of OS interface to usersToru Takeshita. 208-232
- Intelligent console - A universal user interface of a computer systemItsujiro Arita. 233-250
- Structuring distributed programs with control fault detectionMichiharu Tsukamoto. 252-269
- A distributed operating system for a binary tree multiprocessorYoshizo Takahashi. 270-286
- GAMMA - NET: Computer network coupled by 100 MBPS Optical Fiber Ring Bus - system planning and Ring Bus subsystem descriptionKatsuo Ikeda, Yoshihiko Ebihara, Michihiro Ishizaka, Takao Fujima, Tomoo Nakamura, Kazuhiko Nakayama. 288-309
- Product validation for standardized network protocolTadao Saito, Toshihiko Kato, Hiroshi Inose. 311-330
- Protection and synchronisation in a message-switched systemJon Livesey, Eric G. Manning. 331-368
- On the progress of communication between two machinesMohamed G. Gouda, Eric G. Manning, Yao-Tin Yu. 369-389
- Form transformer - A formalism for Office form manipulationHiroyuki Kitagawa, Tosiyasu L. Kunii. 392-406
- Automated design of concurrent process systemsToyohiko Hirota, Koichi Tabata, Yutaka Ohno. 407-424
- Concurrent programmingRandal E. Bryant, Jack B. Dennis. 426-451
- Streams and ManagersArvind, J. Dean Brock. 452-465