An architecture for support of network operating system services

Using encryption for authentication in large networks of computers

1978 • 2,364 citations

Notes on data base operating systems

1978 • 1,670 citations

Programming semantics for multiprogrammed computations

1983 • 695 citations

Programming semantics for multiprogrammed computations

1966 • 540 citations

Operating systems — an advanced course

1978 • 384 citations

Fault Tolerant Operating Systems

1976 • 215 citations

Synchronization with eventcounts and sequencers

1979 • 208 citations

A high-level framework for network-based resource sharing

1976 • 107 citations

Connection management in transport protocols

1978 • 93 citations

Function-oriented protocols for the ARPA computer network

1971 • 93 citations

A system for interprocess communication in a resource sharing computer network

1972 • 88 citations

Naming and binding of objects

1978 • 73 citations

The object model: A conceptual tool for structuring software

1978 • 70 citations

A resource sharing executive for the ARPANET

1973 • 62 citations

A tutorial on protocols

1978 • 51 citations

Proceedings of the ACM 1980 annual conference

1980 • 51 citations

Automated protocol validation: One chain of development

1978 • 42 citations

Operating Systems for Computer Networks

1978 • 41 citations

Single-Message Communication

1976 • 40 citations

Mechanisms for a reliable timer-based protocol

1978 • 40 citations

High-level protocols

1978 • 36 citations

The arpanet telnet protocol

1977 • 32 citations

Enhanced message addressing capabilities for computer networks

1978 • 31 citations

Virtual circuits vs. datagrams

1976 • 28 citations

Interprocess communication facilities for network operating systems

1974 • 27 citations

The National Software Works

1977 • 24 citations

Components of a network operating system

1979 • 22 citations

Reliable host-to-host protocols

1977 • 17 citations

Adding capability access to conventional file servers

1979 • 16 citations

Network Architecture Design for Back-End Storage Networks

1980 • 15 citations

Approaches to concurrency control in distributed data base systems

1979 • 15 citations

A perspective on network operating systems

1976 • 13 citations

Limiting the lifetime of packets in computer networks

1979 • 12 citations

Research problems of decentralized systems with largely autonomous nodes

1978 • 12 citations

Programming Distributed Systems

1978 • 11 citations

Network Operating Systems

2003 • 8 citations

Computer storage structure and utilization at a large scientific laboratory

1975 • 7 citations

Synchronization in a layered system

1978 • 6 citations