Communications of the ACM （CACM） - Issue 265 论文列表
| 点击这里查看 Communications of the ACM 的JCR分区、影响因子等信息 |
| 卷期号： Issue 265 |
| 发布时间： |
| 卷期年份： 1980 |
| 卷期官网： |
本期论文列表
Specification and Verification of the UCLA Unix Security Kernel.
A Virtual Machine Emulator for Performance Evaluation.
Medusa: An Experiment in Distributed Operating System Structure.
Experience with Processes and Monitors in Mesa.
Pilot: An Operating System for a Personal Computer.
Curriculum '78 - Is Computer Science Really that Unmathematical?