1

Alsberg, P.A., Belford, G.G., Day, J.D., and Grapa, E., "Multi-Copy Resiliency Techniques," University of Illinois Center for Advanced Computation Document #202, May. 1976.

2

Arvind, et al., "Programming in a viable data flow language," Univ. of Calif. (Irvine) Department of Information and Computer Science, Technical Reort 89.

3

Bishop, P.B., "Computer Systems with a Very Large Address Space and Garbage Collection," Ph.D. thesis, M.I.T. Department of Electrical Engineering and Computer Science, May, 1977, also Laboratory for Computer Science Technical Report TR-178.

4

Branstad, D.K., "Encryption Protection in Computer Data Communications," <u>Proc. Fourth Data Communications Symposium</u>, Quebec, October, 1975, pp. 8.1--8.7.

5

Cerf, V.G., and Kahn, R. E., "A Protocol for Packet Network Interconnection," <u>IEEE Trans. S. on Communications</u> 22, 5 (May, 1974) pp. 637--648.

6

d'Oliveira, C., "A Conjecture About Computer Decentralization," B.S. thesis, M.I.T. Department of Electrical Engineering and Computer Science. August, 1977.

7

Dennis, J.B., "First Version of a Data FIow Procedure Language," M.I.T. Laboratory for Computer Science Technical Memo TM-61, May, 1975.

8

Diffie, W., and Hellman, M.E., "New Directions in Cryptography," <u>IEEE Trans. on Info. Theory</u>. 22, 6 (November, 1976) pp. 644--654.

9

Donnelley, J.E., "A Distributed Capability Computing System (DCCS)," ARPANET Request for Comments #712, Network Information Center, Stanford Research Institute, Menlo Park, California, February, 1976.

10

Clarence A. Ellis, Consistency and correctness of duplicate database systems, Proceedings of the sixth ACM symposium on Operating systems principles, p.67-84, November 16-18, 1977, West Lafayette, Indiana, United States

11

K. P. Eswaran , J. N. Gray , R. A. Lorie , I. L. Traiger, The notions of consistency and predicate locks in a database system, Communications of the ACM, v.19 n.11, p.624-633, Nov. 1976  [doi>10.1145/360363.360369]

12

Farber, D.J., and Heinrich, F.R., "The Structure of a Distributed Computer System: The Distributed File System," <u>Proc. First Int. Conf. on Computer Comm.</u>, 1972, pp. 364--370.

13

Feinler, E., and Postel, J., <u>ARPANET Protocol Handbook</u>, NIC 7104, Network Information Center, Stanford Research Institute, Menlo Park, California, April, 1976.

14

Hewitt, C., "Viewing Control Structures as Patterns of Passing Messages," to be published in <u>A.I. Journal</u>.

15

P. A. Karger, NON-DISCRETIONARY ACCESS CONTROL FOR DECENTRALIZED COMPUTING SYSTEMS, Massachusetts Institute of Technology, Cambridge, MA, 1977

16

S. Kent, ENCRYPTION-BASED PROTECTION PROTOCOLS FOR INTERACTIVE USER-COMPUTER COMMUNICATION, Massachusetts Institute of Technology, Cambridge, MA, 1976

17

Lamport, L., "Time, Clocks, and the Ordering of Events in a Distributed System," Mass. Computer Associates Technical Report CA-7603-2911, March, 1976.

18

Lamport, L., "The Synchronization of Independent Processes," <u>Acta Informatica</u>, 7, 1976, pp. 15--34.

19

Lampson, B., and Sturgis, H., "Crash Recovery in a Distributed Data Storage System," to be published in the <u>Comm. of ACM</u>.

20

Levine, P.H., "Facilitating Interprocess Communication in a Heterogeneous Network Environment," S.M, thesis, M.I.T. Department of Electrical Engineering and Computer Science, June, 1977.

21

Liskov, B.H., and Zilles, S., "Specification Techniques for Data Abstraction," <u>IEEE Trans. Software Engineering SE-I</u>, 1, (1975) pp. 7--19.

22

Barbara Liskov , Alan Snyder , Russell Atkinson , Craig Schaffert, Abstraction mechanisms in CLU, Communications of the ACM, v.20 n.8, p.564-576, Aug. 1977  [doi>10.1145/359763.359789]

23

Robert M. Metcalfe , David R. Boggs, Ethernet: distributed packet switching for local computer networks, Communications of the ACM, v.19 n.7, p.395-404, July 1976  [doi>10.1145/360248.360253]

24

Millstein, R.E., "Second Semi-Annual Report," Massachusetts Computer Associates Report CADD-7608-1611, August, 1976.

25

Warren A. Montgomery, Measurements of sharing in Multics, Proceedings of the sixth ACM symposium on Operating systems principles, p.85-90, November 16-18, 1977, West Lafayette, Indiana, United States

26

David P. Reed , Rajendra K. Kanodia, Synchronization with eventcounts and sequencers, Communications of the ACM, v.22 n.2, p.115-123, Feb. 1979  [doi>10.1145/359060.359076]

27

Rothnie, J.B., et al., "The Redundant Update Methodology of SDD-I: A System for Distributed Databases," Computer Corporation of America Report CCA-77-02, February, 1977.

28

Rowe, L.A., Hopwood, M.D., and Farber, D.J., "Software Methods for Achieving Fail-Soft Behavior in the Distributed Computing System," <u>Proc. IEEE Symposium on Computer Software Reliability</u>, 1973, pp. 7--11.

29

Stearns, R.E., et al., "Concurrency Control for Database Systems," extended abstract, <u>IEEE Symposium on Foundations of Computer Science</u>, CH1133-8 C, October, 1976, pp. 19--32.

30

Thomas, R.H., "A Resource Sharing Executive for the ARPANET," <u>Proc. AFIPS Nat. Comp. Conf.</u>, 1973, pp. 155--163.

31

Thomas, R. Ho, "A Solution to the Update Problem for Multiple Copy Data Bases Which Use Distributed Control," Bolt Beranek and Newman Report #3340, July, 1976.

32

Wulf, W.A., et al., "An Introduction to the Construction and Verification of Alphard Programs," <u>IEEE Trans. on Software Engineering SE-2</u>, 4 (December, 1976) pp. 253--265.

Walter H. Kohler, A Survey of Techniques for Synchronization and Recovery in Decentralized Computer Systems, ACM Computing Surveys (CSUR), v.13 n.2, p.149-183, June 1981

Barbara Liskov, Primitives for distributed computing, Proceedings of the seventh ACM symposium on Operating systems principles, p.33-42, December 10-12, 1979, Pacific Grove, California, United States

Jerome H. Saltzer: colleagues