%A Nobuo Saito
%T Synchronization mechanisms for parallel processing
%J Proceedings of the 14th IBM Computer Science Symposium
%C Amagi, Japan
%D October 1980
%E M. Maekawa
%E L.A. Belady
%O published as Lecture Notes in Computer Science 143:
Operating systems engineering
%K ibmcsc ibmcsc14
%P 2-22

%A Hajime Enomoto
%A Naoki Yonezaki
%A Isao Miyamura
%A Masayuki Sunuma
%T A parallel programming language and description of scheduler
%J Proceedings of the 14th IBM Computer Science Symposium
%C Amagi, Japan
%D October 1980
%E M. Maekawa
%E L.A. Belady
%O published as Lecture Notes in Computer Science 143:
Operating systems engineering
%K ibmcsc ibmcsc14
%P 23-41

%A Kouchi Wada
%A Kenichi Hagihara
%A Toshiro Araki
%A Nobuki Tokura
%T Specification of schedulers with algebraic specification techniques
%J Proceedings of the 14th IBM Computer Science Symposium
%C Amagi, Japan
%D October 1980
%E M. Maekawa
%E L.A. Belady
%O published as Lecture Notes in Computer Science 143:
Operating systems engineering
%K ibmcsc ibmcsc14
%P 42-62

%A Yahiko Kambayashi
%T Generalized dynamic authorization mechanism
%J Proceedings of the 14th IBM Computer Science Symposium
%C Amagi, Japan
%D October 1980
%E M. Maekawa
%E L.A. Belady
%O published as Lecture Notes in Computer Science 143:
Operating systems engineering
%K ibmcsc ibmcsc14
%P 63-79

%A Takashi Masuda
%A Tong-Haing Fin
%T Program behavior and its models
%J Proceedings of the 14th IBM Computer Science Symposium
%C Amagi, Japan
%D October 1980
%E M. Maekawa
%E L.A. Belady
%O published as Lecture Notes in Computer Science 143:
Operating systems engineering
%K ibmcsc ibmcsc14
%P 80-103

%A Hisao Kameda
%T CPU scheduling for effective multiprogramming
%J Proceedings of the 14th IBM Computer Science Symposium
%C Amagi, Japan
%D October 1980
%E M. Maekawa
%E L.A. Belady
%O published as Lecture Notes in Computer Science 143:
Operating systems engineering
%K ibmcsc ibmcsc14
%P 104-118

%A Chiaki Ishikawa
%A Ken Sakamura
%A Mamoru Maekawa
%T Dynamic tuning of operating systems
%J Proceedings of the 14th IBM Computer Science Symposium
%C Amagi, Japan
%D October 1980
%E M. Maekawa
%E L.A. Belady
%O published as Lecture Notes in Computer Science 143:
Operating systems engineering
%K ibmcsc ibmcsc14
%P 119-142

%A Masatoshi Miyazaki
%A Shigeru Matsuzawa
%A Seiziro Obata
%A Shoichi Noguchi
%T On pseudo workload for performance measurement of interactive systems
%J Proceedings of the 14th IBM Computer Science Symposium
%C Amagi, Japan
%D October 1980
%E M. Maekawa
%E L.A. Belady
%O published as Lecture Notes in Computer Science 143:
Operating systems engineering
%K ibmcsc ibmcsc14
%P 143-159

%A Laszlo A. Belady
%T Modifiability of large software systems
%J Proceedings of the 14th IBM Computer Science Symposium
%C Amagi, Japan
%D October 1980
%E M. Maekawa
%E L.A. Belady
%O published as Lecture Notes in Computer Science 143:
Operating systems engineering
%K ibmcsc ibmcsc14
%P 160-174

%A Mamoru Maekawa
%T Operating system conceptual model for ease of extension
%J Proceedings of the 14th IBM Computer Science Symposium
%C Amagi, Japan
%D October 1980
%E M. Maekawa
%E L.A. Belady
%O published as Lecture Notes in Computer Science 143:
Operating systems engineering
%K ibmcsc ibmcsc14
%P 175-207

%A Toru Takeshita
%T Perspective of OS interface to users
%J Proceedings of the 14th IBM Computer Science Symposium
%C Amagi, Japan
%D October 1980
%E M. Maekawa
%E L.A. Belady
%O published as Lecture Notes in Computer Science 143:
Operating systems engineering
%K ibmcsc ibmcsc14
%P 208-232

%A Itsujiro Arita
%T Intelligent console - a universal user interface of a computer system
%J Proceedings of the 14th IBM Computer Science Symposium
%C Amagi, Japan
%D October 1980
%E M. Maekawa
%E L.A. Belady
%O published as Lecture Notes in Computer Science 143:
Operating systems engineering
%K ibmcsc ibmcsc14
%P 233-251

%A Michiharu Tsukamoto
%T Structuring distributed programs with control fault detection
%J Proceedings of the 14th IBM Computer Science Symposium
%C Amagi, Japan
%D October 1980
%E M. Maekawa
%E L.A. Belady
%O published as Lecture Notes in Computer Science 143:
Operating systems engineering
%K ibmcsc ibmcsc14
%P 252-269

%A Yoshizo Takahashi
%T A distributed operating system for a binary tree multiprocessor
%J Proceedings of the 14th IBM Computer Science Symposium
%C Amagi, Japan
%D October 1980
%E M. Maekawa
%E L.A. Belady
%O published as Lecture Notes in Computer Science 143:
Operating systems engineering
%K ibmcsc ibmcsc14
%P 270-287

%A Katsuo Ikeda
%A Yoshihiko Ebihara
%A Michihiro Ishizaka
%A Takao Fujima
%A Tomoo Nakamura
%A Kazuhiro Nakayama
%T GAMMA-NET:
computer network coupled by 100 MBPS optical fiber ring bus
- system planning and ring bus subsystem description
%J Proceedings of the 14th IBM Computer Science Symposium
%C Amagi, Japan
%D October 1980
%E M. Maekawa
%E L.A. Belady
%O published as Lecture Notes in Computer Science 143:
Operating systems engineering
%K ibmcsc ibmcsc14
%P 288-310

%A Tadao Saito
%A Toshihiko Kato
%A Hiroshi Inose
%T Product validation for standardized network protocol
%J Proceedings of the 14th IBM Computer Science Symposium
%C Amagi, Japan
%D October 1980
%E M. Maekawa
%E L.A. Belady
%O published as Lecture Notes in Computer Science 143:
Operating systems engineering
%K ibmcsc ibmcsc14
%P 311-330

%A Jon Livesey
%A Eric Manning
%T Protection and synchronization in a message-switched system
%J Proceedings of the 14th IBM Computer Science Symposium
%C Amagi, Japan
%D October 1980
%E M. Maekawa
%E L.A. Belady
%O published as Lecture Notes in Computer Science 143:
Operating systems engineering
%K ibmcsc ibmcsc14
%P 331-368

%A Mohammed G. Gouda
%A Erc G. Manning
%A Y.T. Yu
%T On the progress of communication between two machines
%J Proceedings of the 14th IBM Computer Science Symposium
%C Amagi, Japan
%D October 1980
%E M. Maekawa
%E L.A. Belady
%O published as Lecture Notes in Computer Science 143:
Operating systems engineering
%K ibmcsc ibmcsc14
%P 369-391

%A Hiroyuki Kitagawa
%A Tosiyasu L. Kunii
%T Form transformer: a formalism for office form manipulation
%J Proceedings of the 14th IBM Computer Science Symposium
%C Amagi, Japan
%D October 1980
%E M. Maekawa
%E L.A. Belady
%O published as Lecture Notes in Computer Science 143:
Operating systems engineering
%K ibmcsc ibmcsc14
%P 392-406

%A Toyohiko Hirota
%A Koichi Tabata
%A Yutaka Ohno
%T Automated design of concurrent process systems
%J Proceedings of the 14th IBM Computer Science Symposium
%C Amagi, Japan
%D October 1980
%E M. Maekawa
%E L.A. Belady
%O published as Lecture Notes in Computer Science 143:
Operating systems engineering
%K ibmcsc ibmcsc14
%P 407-425

%A Randal E. Bryant
%A Jack B. Dennis
%T Concurrent programming
%J Proceedings of the 14th IBM Computer Science Symposium
%C Amagi, Japan
%D October 1980
%E M. Maekawa
%E L.A. Belady
%O published as Lecture Notes in Computer Science 143:
Operating systems engineering
%K ibmcsc ibmcsc14
%P 426-451

%A Arvind
%A J. Dean Brock
%T Streams and managers
%J Proceedings of the 14th IBM Computer Science Symposium
%C Amagi, Japan
%D October 1980
%E M. Maekawa
%E L.A. Belady
%O published as Lecture Notes in Computer Science 143:
Operating systems engineering
%K ibmcsc ibmcsc14
%P 452-465