Certification of Programs for Secure Information Flow.
A Terminal-Oriented Communication System.
A Unifying Approach to Scheduling.
Shifting Garbage Collection Overhead to Compile Time.
Lucid, a Nonprocedural Language with Iteration.
An Algol-Based Implementation of SNOBOL4 Patterns.
SITAR: An Interactive Text Processing System for Small Computers.
A Correctness Proof of a Topology Information Maintenance Protocol for a Distributed Computer Network.
An Alternative to Event Queues for Synchronization in Monitors.
Dynamic Response Time Prediction for Computer Networks.