Bhl-cv-08. dvi

39. Overview of the Argus Language and System, Programming Methodology Group Memo 40, MIT Lab-

oratory for Computer Science, Cambridge, MA, February 1984.

40. Limitations of Synchronous Communication with Static Process Structure in Languages for Distributed

Computing, Programming Methodology Group Memo 41-1, MIT Laboratory for Computer Science,

Cambridge, MA, October 1985 (with M. Herlihy and L. Gilbert).

41. Programming Methodology Group Progress Report, July 1, 1983 - June 30, 1984, Programming Method-

ology Group Memo 42, MIT Laboratory for Computer Science, Cambridge, MA, November 1984.

42. Reliable Object Storage to Support Atomic Actions, Programming Methodology Group Memo 45, MIT

Laboratory for Computer Science, Cambridge, MA, September 1985 (with B. M. Oki and R. W.

Scheifler).

43. Specifications of Distributed Programs, Programming Methodology Group Memo 46, MIT Laboratory

for Computer Science, Cambridge, MA, September 1985 (with W. E. Weihl).

44. Highly-Available Distributed Services and Fault-Tolerant Distributed Garbage Collection, Programming

Methodology Group Memo 48, MIT Laboratory for Computer Science, Cambridge, MA, May 1986

(with R. Ladin).

45. Programming Methodology Group Progress Report, July 1, 1984 - June 30, 1985, Programming Method-

ology Group Memo 51, MIT Laboratory for Computer Science, Cambridge, MA, February 1987.

46. Highly-Available Distributed Services, Programming Methodology Group Memo 52, MIT Laboratory

for Computer Science, Cambridge, MA, February 1987.

47. Orphan Detection, Programming Methodology Group Memo 53, MIT Laboratory for Computer Sci-

ence, Cambridge, MA, February 1987 (with R. Scheifler, E. Walker, and W. Weihl).

48. Argus Reference Manual, Programming Methodology Group Memo 54, MIT Laboratory for Computer

Science, Cambridge, MA, March 1987 (with M. Day, M. Herlihy, P. Johnson, G. Leavens, R. Scheifler,

and W. Weihl).

49. Programming Methodology Group Progress Report July 1, 1985 - June 30, 1986, Programming Method-

ology Group Memo 56, MIT Laboratory for Computer Science, Cambridge, MA, August 1987.

50. Implementation of Argus, Programming Methodology Group Memo 57, MIT Laboratory for Computer

Science, Cambridge, MA, August 1987 (with D. Curtis, P. Johnson and R. Scheifler).

51. Communication in the Mercury System, Programming Methodology Group Memo 59, MIT Laboratory

for Computer Science, Cambridge, MA, October 1987 (with T. Bloom, D. Gifford, R. Scheifler, and

W. Weihl).

52. A Technique for Constructing Highly Available Services, Technical Report MIT/LCS/TR-409, MIT

Laboratory for Computer Science, Cambridge, MA, January 1988 (with R. Ladin and L. Shrira).

53. Promises: Linguistic Support for Efficient Asynchronous Procedure Calls in Distributed Systems, Pro-

gramming Methodology Group Memo 60-1, MIT Laboratory for Computer Science, Cambridge, MA,

March 1988 (with L. Shrira).

54. Programming Methodology Group Progress Report July 1, 1986 - June 30, 1987, Programming Method-

ology Group Memo 61, MIT Laboratory for Computer Science, Cambridge, MA, May 1988.

55. Viewstamped Replication: A New Primary Copy Method to Support Highly-Available Distributed Sys-

tems, Programming Methodology Group Memo 62, MIT Laboratory for Computer Science, Cambridge,

MA, May 1988 (with B. Oki).

56. Data Abstraction and Hierarchy, Programming Methodology Group Memo 63, MIT Laboratory for

Computer Science, Cambridge, MA, July 1988.

13

---

57. A Design for a Fault-Tolerant, Distributed Implementation of Linda, Programming Methodology Group

Memo 65, MIT Laboratory for Computer Science, Cambridge, MA, April 1989 (with A. Xu).

58. Programming Methodology Group Progress Report July 1, 1987 - June 30, 1988, Programming Method-

ology Group Memo 66, MIT Laboratory for Computer Science, Cambridge, MA, (with W. Weihl).

59. Programming Methodology Group Progress Report July 1, 1988 - June 30, 1989, Programming Method-

ology Group Memo 68, MIT Laboratory for Computer Science, Cambridge, MA, (with W. Weihl).

60. Programming Methodology Group Progress Report July 1, 1989 - June 30, 1990, Programming Method-

ology Group Memo 69, MIT Laboratory for Computer Science, Cambridge, MA.

61. Efficient At-Most-Once Messages Based on Synchronized Clocks. Technical Report MIT/LCS/TR-

476, MIT Laboratory for Computer Science, Cambridge, MA, April 1990 (with L. Shrira, and J.

Wroclawski).

62. Lazy Replication: Exploiting the Semantics of Distributed Services. Technical Report MIT/LCS/TR-

484, MIT Laboratory for Computer Science, Cambridge, MA, July 1990 (with R. Ladin, L. Shrira, and

S. Ghemawat).

63. A Highly Available Object Repository for Use in a Heterogeneous Distributed System, Programming

Methodology Group Memo 70, MIT Laboratory for Computer Science, Cambridge, MA, August 1990

(with R. Gruber, P. Johnson and L. Shrira).

64. A Replicated Unix File System, Programming Methodology Group Memo 71, MIT Laboratory for

Computer Science, Cambridge, MA, October 1990 (with R. Gruber, P. Johnson and L. Shrira).

65. Practical Uses of Synchronized Clocks in Distributed Systems, Programming Methodology Group Memo

72, MIT Laboratory for Computer Science, Cambridge, MA, May 1991.

66. Programming Methodology Group Progress Report July 1, 1990 - June 30, 1991, Programming Method-

ology Group Memo 73, MIT Laboratory for Computer Science, Cambridge, MA, July 1991 (with L.

Shrira and J. Wroclawski).

67. Replication in the Harp File System, Technical Memo MIT/LCS/TM-456, MIT Laboratory for Com-

puter Science, Cambridge, MA, August 1991 (with S. Ghemawat, R. Gruber, P. Johnson, L. Shrira,

and M. Williams).

68. Preliminary Design of the Thor Object Oriented Data Base System Programming Methodology Group

Memo 74, MIT Laboratory for Computer Science, Cambridge, MA, March 1992.

69. Programming Methodology Group Progress Report July 1, 1991 - June 30, 1992, Programming Method-

ology Group Memo 75, MIT Laboratory for Computer Science, Cambridge, MA, December 1992.

70. Report on Workshop on Research in Experimental Computer Science, Technical Report MIT/LCS/TR-

540, MIT Laboratory for Computer Science, Cambridge, MA, June 1992.

71. A History of CLU, Technical Report MIT/LCS/TR-561, MIT Laboratory for Computer Science, Cam-

bridge, MA, April 1992.

72. Family Values: A Semantic Notion of Subtyping, Technical Report MIT/LCS/TR-562, MIT Laboratory

for Computer Science, Cambridge, MA, December 1992 (with J. M. Wing).

73. A New Definition of the Subtype Relation, Programming Methodology Group Memo 76, MIT Labora-

tory for Computer Science, Cambridge, MA, May 1993 (with J. Wing).

74. Distributed Object Management in Thor, Programming Methodology Group Memo 77, MIT Laboratory

for Computer Science, Cambridge, MA, June 1993 (with M. Day and L. Shrira).

14

---