Robert L. Ashenhurst.
第459-460页
如果计算网络的最终目标是资源共享，则必须完全调查人类组件以及网络的技术组成部分以实现这一目标。这项研究是协助的第一步......
桑德拉A. Mamrak.
第461-468页
本文介绍了一种基于调度系统的抽象模型对调度算法进行分类的方案，该调度系统形式化优先级的概念。定义了各种调度算法并与...相关
Manfred Ruschitzka，R. S. Fabry
第469-477页
为了使分布式计算机网络的节点进行通信，每个节点必须具有有关网络拓扑的信息。由于节点和链接有时崩溃，因此需要一种更新此信息的方案。一 …
威廉D. Tajibnapis.
第477-485页
本文介绍了一个用于时间共享计算机及其终端之间的全双工通信系统。该系统由通信计算机直接连接到时间共享系统，许多小遥控器......
Paul G. Heckel，Butler W. Lampson
第486-494页
SITAR，低成本交互式文本处理和非本网用户的文本分析系统，有许多方式与交互式书目搜索和检索系统相当，但具有几种附加功能。它是实施......
本罗斯施奈德，里德米瓦特
第495-499页
在监视器概念中，如Brinch Hansen和Hoare所提出的，事件队列用于同步。本文介绍了另一个同步原语，几乎与条件等待一样表达，但可以......
J.L.W.Kessels
第500-503页
用于通过程序验证信息安全流程的厌烦机制。因为它利用了安全类之间的格子结构的属性，所以程序足够简单，可以轻松......
Dorothy E. Denning，Peter J. Denning
第504-513页
本文讨论了能够自动存储回收开销的技术将部分移位为编译时间。本文假设德意志和鲍勃罗提出的换取交易的收集方案，必要的......
Jeffrey M. Barth.
第513-518页
Lucid是一个正式的系统，在该系统中，可以编写计划和执行的方案证明。证据特别容易遵循和直接生产，因为Lucid程序中的陈述只是公理......
E. A. Ashcroft，W. W. Wadge
第519-526页
J. Nevil Brownlee.
第527-529页
Robert L. Ashenhurst.
354.
