Distributed programming in Argus

Communications of the ACM

Volumn 31, Issue 3, 1988, Pages 300-312

  Liskov, Barbara ^a  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING; COMPUTER SYSTEMS, DIGITAL - DISTRIBUTED; DATA PROCESSING, BUSINESS - FINANCIAL APPLICATIONS;

ARGUS; DISTRIBUTED PROGRAMMING;

COMPUTER OPERATING SYSTEMS;

EID: 0023981495     PISSN: 00010782     EISSN: 15577317     Source Type: Journal    
DOI: 10.1145/42392.42399     Document Type: Article

References (20)

1. Andrews, G.R., and Olsson, R.A. The evolution of the SR language. Distrib. Comput. 2, 2 (Apr. 1986). Also Tech. Rep. 85-22, Univ. of Arizona, Tucson, Ariz., Oct. 1985.
2. Davies, C.T. Data processing spheres of control. IBM Syst. J. 12, 2 (1978), 179–198.
3. Gray, J.N. Notes on data base operating systems. In Lecture Notes in Computer Science. G. Goos and J. Hartmanis, Springer-Verlag, New York, 1978, pp. 393–481.
4. Gray, J.N., Lorie, R.A., Putzolu, G.F., and Traiger, I.L. Granularity of locks and degrees of consistency in a shared data base. In Modeling in Data Base Management Systems. G.M. Nijssen, Ed. North Holland, Amsterdam, 1976.
5. Greif, I., Seliger, R., and Weihl, W. A case study of CES: A distributed collaborative editing system implemented in Argus. Programming Methodology Group Memo 55. MIT Laboratory for Computer Science, Cambridge, Mass. Apr. 1987. To be published in IEEE Transactions on Software Engineering.
6. Hayes, B. Computer recreations: On the ups and downs of hailstone numbers. Scientif. Amer. 250, 1 (Jan. 1984).
7. Herlihy, M., and Wing, J. Avalon: Language support for reliable distributed systems. In Proceedings of the 17th International Symposium on Fault-Tolerant Computing, (Pittsburgh, Pa., July). IEEE, New York, 1987.
8. Ichbiah, J., et al. Rationale for the design of the Ada programming language. SIGPLAN Not. 14, 6 (June 1979).
9. Lampson, B.W., and Sturgis, H.E. Crash recovery in a distributed data storage system. Tech. Rep. Xerox Research Center, Palo Alto, Calif., 1979.
10. Liskov, B. Overview of the Argus language and system. Programming Methodology Group Memo 40. M.I.T. Laboratory for Computer Science, Cambridge, Mass., Feb. 1984.
11. Liskov, B., et al. Argus reference manual. Tech. Rep. MIT/LCS/TR-400. M.I.T. Laboratory for Computer Science, Cambridge, Mass., 1987.
12. Liskov, B., Curtis, D., Johnson, P., and Scheifler, R. Implementation of Argus. In Proceedings of the 11th Symposium on Operating Systems Principles (Austin, Texas, Nov.). ACM, New York, 1987.
13. Liskov, B., and Guttag, J. Iteration abstraction. In Abstraction and Specification in Program Development. MIT Press, Cambridge, Mass., and McGraw Hill, New York, 1986.
14. Liskov, B., and Scheifler, R.W. Guardians and actions: Linguistic support for robust, distributed programs. ACM Trans. Prog. Lang. Syst. 5, 3 (July 1983). 381–404.
15. Liskov, B., Snyder, A., Atkinson, R.R., and Schaffert, J.C. Abstraction mechanisms in CLU. Commun. ACM 20, 8 (Aug. 1977), 564–576.
16. Mitchell, J.C., Maybury, W., and Sweet, R. Mesa language manual version 5.0. Tech. Rep. CSL-79-3. Xerox Research Center, Palo Alto, Calif., 1979.
17. Moss, J.E.B. Nested transactions: An approach to reliable distributed computing. MIT Press, Cambridge, Mass., 1985.
18. Mueller, E., Moore, J., and Popek, G. A nested transaction mechanism for LOCUS. In Proceedings of the 9th ACM Symposium on Operating Systems Principles (Bretton Woods, N.H., Oct.). ACM, New York, 1983.
19. Spector, A.Z., et al. Camelot: A distributed transaction facility for Mach and the Internet—An interim report. Tech. Rep. CMU-CS-87-129. Dept. of Computer Science, Carnegie Mellon University, Pittsburgh, Pa., 1987.
20. Weihl, W., and Liskov, B. Implementation of resilient, atomic data types. ACM Trans. Prog. Lang. Syst. 7, 2 (Apr. 1985), 244–269.