Distributed programming in Argus

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Distributed programming in Argus

Full text

Pdf (1.52 MB)

Source

Communications of the ACM archive
Volume 31 , Issue 3 (March 1988) table of contents

Pages: 300 - 312

Year of Publication: 1988

ISSN:0001-0782

Author

Barbara Liskov

Massachusetts Institute of Technology, Cambridge

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 5, Downloads (12 Months): 103, Citation Count: 86

Additional Information:

abstract references cited by index terms review collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/42392.42399 What is a DOI?

ABSTRACT

Argus—a programming language and system developed to support the implementation and execution of distributed programs—provides mechanisms that help programmers cope with the special problems that arise in distributed programs, such as network partitions and crashes of remote nodes.

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Andrews, G.R., and Olsson, R.A. The evolution of the SR language. Distrib. Comput. 1, 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	Jim Gray, Notes on Data Base Operating Systems, Operating Systems, An Advanced Course, p.393-481, January 1978
	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, Am~terdam, 1976.
	5	Irene Greif , Robert Seliger , William Weihl, A Case Study of CES: A Distributed Collaborative Editing System Implemented in Argus, IEEE Transactions on Software Engineering, v.18 n.9, p.827-839, September 1992 [doi>10.1109/32.159831]
	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	Jean D. Ichbiah , Bernd Krieg-Brueckner , Brian A. Wichmann , John G. P. Barnes , Olivier Roubine , Jean-Claude Heliard, Rationale for the design of the Ada programming language, ACM SIGPLAN Notices, v.14 n.6b, p.1-261, June 1979 [doi>10.1145/956653.956654]
	9	Lampson, B.W., and Sturgis, H.E. Crash recovery in a distributed data storage system. Tech. Rep. Xerox Research Center, Pa}o 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	B. Liskov , M. Day , M. Herlihy , P. Johnson , G. Leavens, ARGUS REFERENCE MANUAL, Massachusetts Institute of Technology, Cambridge, MA, 1987
	12	B. Liskov , D. Curtis , P. Johnson , R. Scheifer, Implementation of Argus, Proceedings of the eleventh ACM Symposium on Operating systems principles, p.111-122, November 08-11, 1987, Austin, Texas, United States
	13	Barbara Liskov, Abstraction and specification in program development, MIT Press, Cambridge, MA, 1986
	14	Barbara Liskov , Robert Scheifler, Guardians and Actions: Linguistic Support for Robust, Distributed Programs, ACM Transactions on Programming Languages and Systems (TOPLAS), v.5 n.3, p.381-404, July 1983 [doi>10.1145/2166.357215]
	15	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]
	16	Mitchell, J.G., Maybury, W., and Sweet, R. Mesa language manual version 5.0. Tech. Rep. GSL-79-3. Xerox Research Center, Palo Alto, Calif., 1979.
	17	J. E.B. Moss, Nested transactions: an approach to reliable distributed computing, Massachusetts Institute of Technology, Cambridge, MA, 1985
	18	Erik T. Mueller , Johanna D. Moore , Gerald J. Popek, A nested transaction mechanism for LOCUS, Proceedings of the ninth ACM symposium on Operating systems principles, p.71-89, October 10-13, 1983, Bretton Woods, New Hampshire, United States
	19	Spector, A.Z., et al. Camelot: A distributed transaction facility for Mach and the lnternet--An interim report. Tech. Rep. CMU-CS-87-129. Dept. of Computer Science, Carnegie Mellon University, Pittsburgh, Pa., 1987.
	20	William Weihl , Barbara Liskov, Implementation of resilient, atomic data types, ACM Transactions on Programming Languages and Systems (TOPLAS), v.7 n.2, p.244-269, April 1985 [doi>10.1145/3318.3319]

CITED BY 86

	Alberto Rodrigues Silva , Artur Romão , Dwight Deugo , Miguel Mira Da Silva, Towards a Reference Model for Surveying Mobile Agent Systems, Autonomous Agents and Multi-Agent Systems, v.4 n.3, p.187-231, September 2001
	Saniya Ben Hassen , Irina Athanasiu , Henri E. Bal, A flexible operation execution model for shared distributed objects, ACM SIGPLAN Notices, v.31 n.10, p.30-50, Oct. 1996
	Henri E. Bal , Jennifer G. Steiner , Andrew S. Tanenbaum, Programming languages for distributed computing systems, ACM Computing Surveys (CSUR), v.21 n.3, p.261-322, Sep. 1989
	Phillip B. Gibbons , Michael Merritt, Specifying non-blocking shared memories (extended abstract), Proceedings of the fourth annual ACM symposium on Parallel algorithms and architectures, p.306-315, June 29-July 01, 1992, San Diego, California, United States
	Huw Evans , Peter Dickman, Zones, contracts and absorbing changes: an approach to software evolution, ACM SIGPLAN Notices, v.34 n.10, p.415-434, Oct. 1999
	Graham Hamilton , Michael L. Powell , James G. Mitchell, Subcontract: a flexible base for distributed programming, ACM SIGOPS Operating Systems Review, v.27 n.5, p.69-79, Dec. 1993
	Andrew Birrell , Greg Nelson , Susan Owicki , Edward Wobber, Network objects, ACM SIGOPS Operating Systems Review, v.27 n.5, p.217-230, Dec. 1993
	Roger S. Chin , Samuel T. Chanson, Distributed, object-based programming systems, ACM Computing Surveys (CSUR), v.23 n.1, p.91-124, March 1991
	Alexander Romanovsky , Jörg Kienzle, Action-oriented exception handling in cooperative and competitive concurrent object-oriented systems, Advances in exception handling techniques, Springer-Verlag New York, Inc., New York, NY, 2001
	Marta Patiño-Martínez , Ricardo Jiménez-Peris , Sergio Arévalo, Synchronizing group transaction with rendezvous in a distributed Ada environment, Proceedings of the 1998 ACM symposium on Applied Computing, p.2-9, February 27-March 01, 1998, Atlanta, Georgia, United States
	Colin Allison, Wanted: an application aware checkpointing service, Proceedings of the 6th workshop on ACM SIGOPS European workshop: Matching operating systems to application needs, September 12-14, 1994, Wadern, Germany
	Michael J. Feeley , Henry M. Levy, Distributed shared memory with versioned objects, ACM SIGPLAN Notices, v.27 n.10, p.247-262, Oct. 1992
	Dominic Duggan, Type-based hot swapping of running modules (extended abstract), ACM SIGPLAN Notices, v.36 n.10, October 2001
	Evaggelia Pitoura , Omran Bukhres , Ahmed Elmagarmid, Object orientation in multidatabase systems, ACM Computing Surveys (CSUR), v.27 n.2, p.141-195, June 1995
	John Kyu Lee, Precision locking for nested transaction systems, Proceedings of the second international conference on Information and knowledge management, p.674-683, November 01-05, 1993, Washington, D.C., United States
	Rivka Ladin , Barbara Liskov , Liuba Shrira , Sanjay Ghemawat, Providing high availability using lazy replication, ACM Transactions on Computer Systems (TOCS), v.10 n.4, p.360-391, Nov. 1992
	Mark E. Segal , Ophir Frieder, On-the-Fly Program Modification: Systems for Dynamic Updating, IEEE Software, v.10 n.2, p.53-65, March 1993
	Rivka Ladin , Barbara Liskov , Liuba Shrira, Lazy replication: exploiting the semantics of distributed services, Proceedings of the ninth annual ACM symposium on Principles of distributed computing, p.43-57, August 22-24, 1990, Quebec City, Quebec, Canada
	M. Patiño-Martínez , R. Jiménez-Peris , S. Arévalo, Implementing transactions using Ada exceptions: which features are missing?, ACM SIGAda Ada Letters, v.XXI n.3, September 2001
	Elliot K. Kolodner , William E. Weihl, Atomic incremental garbage collection and recovery for a large stable heap, ACM SIGMOD Record, v.22 n.2, p.177-186, June 1, 1993
	Charles J. Kacmar , John J. Leggett, PROXHY: a process-oriented extensible hypertext architecture, ACM Transactions on Information Systems (TOIS), v.9 n.4, p.399-419, Oct. 1991
	Mike Livesey , Colin Allison, Operating system level support for coherence in distributed systems, Proceedings of the 5th workshop on ACM SIGOPS European workshop: Models and paradigms for distributed systems structuring, September 21-23, 1992, Mont Saint-Michel, France
	Barbara Liskov, A history of CLU, ACM SIGPLAN Notices, v.28 n.3, p.133-147, March 1993
	Rohit Chandra , Kourosh Gharachorloo , Vijayaraghavan Soundararajan , Anoop Gupta, Performance evaluation of hybrid hardware and software distributed shared memory protocols, Proceedings of the 8th international conference on Supercomputing, p.274-288, July 11-15, 1994, Manchester, England
	J. Chase , F. Amador , E. Lazowska , H. Levy , R. Littlefield, The Amber system: parallel programming on a network of multiprocessors, ACM SIGOPS Operating Systems Review, v.23 n.5, p.147-158, Dec. 3–6, 1989
	Brian M. Oki , Barbara H. Liskov, Viewstamped replication: a general primary copy, Proceedings of the seventh annual ACM Symposium on Principles of distributed computing, p.8-17, August 15-17, 1988, Toronto, Ontario, Canada
	B. Liskov , L. Shrira, Promises: linguistic support for efficient asynchronous procedure calls in distributed systems, ACM SIGPLAN Notices, v.23 n.7, p.260-267, July 1988
	Theo Härder , Kurt Rothermel, Concurrency control issues in nested transactions, The VLDB Journal — The International Journal on Very Large Data Bases, v.2 n.1, p.39-74, January 1993
	Henri E. Bal , M. Frans Kaashoek , Andrew S. Tanenbaum, Orca: A Language for Parallel Programming of Distributed Systems, IEEE Transactions on Software Engineering, v.18 n.3, p.190-205, March 1992
	James M. Purtilo, The POLYLITH software bus, ACM Transactions on Programming Languages and Systems (TOPLAS), v.16 n.1, p.151-174, Jan. 1994
	Patrick Th. Eugster , Rachid Guerraoui , Christian Heide Damm, On objects and events, ACM SIGPLAN Notices, v.36 n.11, p.254-269, 11/01/2001
	Ken Wakita , Aki Yonezawa, Linguistic supports for development of distributed organizational information systems in object-oriented concurrent computation frameworks, ACM SIGOIS Bulletin, v.12 n.2-3, p.185-198, Nov. 1991
	Malcolm Atkinson , Ronald Morrison, Orthogonally persistent object systems, The VLDB Journal — The International Journal on Very Large Data Bases, v.4 n.3, July 1995
	C. E. Hrischuk , C. M. Woodside, Logical Clock Requirements for Reverse Engineering Scenarios from a Distributed System, IEEE Transactions on Software Engineering, v.28 n.4, p.321-339, April 2002
	Brian N. Bershad , Thomas E. Anderson , Edward D. Lazowska , Henry M. Levy, User-level interprocess communication for shared memory multiprocessors, ACM Transactions on Computer Systems (TOCS), v.9 n.2, p.175-198, May 1991
	Partha Dasgupta , Richard J. LeBlanc, Jr. , Mustaque Ahamad , Umakishore Ramachandran, The Clouds Distributed Operating System, Computer, v.24 n.11, p.34-44, November 1991
	Marta Patiño-Martínez , Ricardo Jiménez-Peris , Sergio Arévalo, Exception handling and resolution for transactional object groups, Advances in exception handling techniques, Springer-Verlag New York, Inc., New York, NY, 2001
	Patrícia Gomes Soares, On remote procedure call, Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research, November 09-12, 1992, Toronto, Ontario, Canada
	R. Das , A. Fekete, Modular reasoning about open systems: a case study of distributed commit, Proceedings of the 7th international workshop on Software specification and design, December 06-07, 1993, Redondo Beach, California
	Sébastien Gérard , Francois Terrier, UML for real-time: which native concepts to use?, UML for real: design of embedded real-time systems, Kluwer Academic Publishers, Norwell, MA, 2003
	Michael Rabinovich , Edward D. Lazowska, A fault-tolerant commit protocol for replicated databases, Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.139-148, June 02-05, 1992, San Diego, California, United States
	Gail E. Kaiser , Brent Hailpern, An object-based programming model for shared data, ACM Transactions on Programming Languages and Systems (TOPLAS), v.14 n.2, p.201-264, April 1992
	Bharat Bhargava , Abdelsalam Helal, Efficient availability mechanisms in distributed database systems, Proceedings of the second international conference on Information and knowledge management, p.645-654, November 01-05, 1993, Washington, D.C., United States
	A. F. Zorzo , R. J. Stroud, A distributed object-oriented framework for dependable multiparty interactions, ACM SIGPLAN Notices, v.34 n.10, p.435-446, Oct. 1999
	Chang-Hyun Jo , K. M. George, Language concepts using dynamic and distributed objects, Proceedings of the 19th annual conference on Computer Science, p.211-220, April 1991, San Antonio, Texas, United States
	C. Bryce , V. Issarny , G. Muller , I. Puaut, Towards safe and efficient customization in distributed systems, Proceedings of the 6th workshop on ACM SIGOPS European workshop: Matching operating systems to application needs, September 12-14, 1994, Wadern, Germany
	Mohamed B. Al-Mourad , William A. Gray , Nick J. Fiddian, Semantic requirements for sharing behaviours in federated object-oriented database systems, Proceedings of the 2001 international conference on Information systems technology and its applications, p.9-20, June 13-15, 2001, Kharkiv, Ukraine
	Jeff Kramer, Distributed software engineering, Proceedings of the 16th international conference on Software engineering, p.253-263, May 16-21, 1994, Sorrento, Italy
	M. Papazoglou , A. Delis , A. Bouguettaya , M. Haghjoo, Class Library Support for Workflow Environments and Applications, IEEE Transactions on Computers, v.46 n.6, p.673-686, June 1997
	Tom Chothia , Dominic Duggan, Abstractions for fault-tolerant global computing, Theoretical Computer Science, v.322 n.3, p.567-613, 6 September 2004
	Soon-Young Huh , Hyung-Min Kim, A real-time synchronization mechanism for collaborative model management, Decision Support Systems, v.37 n.3, p.315-330, June 2004
	Agostino Poggi , Giuliano Armano, A Distributed Object-Oriented Language for Heterogeneous Computer Networks, The Journal of Supercomputing, v.14 n.2, p.153-169, Sept. 1999
	John Field , Carlos A. Varela, Transactors: a programming model for maintaining globally consistent distributed state in unreliable environments, ACM SIGPLAN Notices, v.40 n.1, p.195-208, January 2005
	Anand Tripathi , Terence Noonan, RPC-level support for object-oriented distributed programming, Proceedings of the 5th workshop on ACM SIGOPS European workshop: Models and paradigms for distributed systems structuring, September 21-23, 1992, Mont Saint-Michel, France
	Mehmet Aksit , Jan Willem Dijkstra , Anand Tripathi, Atomic Delegation: Object-Oriented Transactions, IEEE Software, v.8 n.2, p.84-92, March 1991
	Dimitrios Georgakopoulos , Mark F. Hornick , Frank Manola, Customizing Transaction Models and Mechanisms in a Programmable Environment Supporting Reliable Workflow Automation, IEEE Transactions on Knowledge and Data Engineering, v.8 n.4, p.630-649, August 1996
	Barbara Liskov, A history of CLU, History of programming languages---II, ACM Press, New York, NY, 1996
	Tim Harris , Simon Marlow , Simon Peyton-Jones , Maurice Herlihy, Composable memory transactions, Proceedings of the tenth ACM SIGPLAN symposium on Principles and practice of parallel programming, June 15-17, 2005, Chicago, IL, USA
	Remzi H. Arpaci-Dusseau, Run-time adaptation in river, ACM Transactions on Computer Systems (TOCS), v.21 n.1, p.36-86, February 2003
	Gruia-Catalin Roman , H. Conrad Cunningham, Mixed Programming Metaphors in a Shared Dataspace Model of Concurrency, IEEE Transactions on Software Engineering, v.16 n.12, p.1361-1373, December 1990
	C. J. Kacmar, A process-oriented extensible hypertext architecture, ACM SIGCHI Bulletin, v.21 n.1, p.98-101, July 1989
	Vincenzo De Florio , Chris Blondia, A survey of linguistic structures for application-level fault tolerance, ACM Computing Surveys (CSUR), v.40 n.2, p.1-37, April 2008
	Alan Fekete , Nancy Lynch , William E. Weihl, A serialization graph construction for nested transactions, Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.94-108, April 02-04, 1990, Nashville, Tennessee, United States
	Patrick Eugster, Type-based publish/subscribe: Concepts and experiences, ACM Transactions on Programming Languages and Systems (TOPLAS), v.29 n.1, p.6-es, January 2007
	Tom Van Cutsem , Jessie Dedecker , Stijn Mostinckx , Elisa Gonzalez , Theo D'Hondt , Wolfgang De Meuter, Ambient references: addressing objects in mobile networks, Companion to the 21st ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications, October 22-26, 2006, Portland, Oregon, USA
	Godmar Back , Patrick Tullmann , Leigh Stoller , Wilson C. Hsieh , Jay Lepreau, Techniques for the design of java operating systems, Proceedings of the Annual Technical Conference on 2000 USENIX Annual Technical Conference, p.17-17, June 18-23, 2000, San Diego, California
	Tim Harris , Mark Plesko , Avraham Shinnar , David Tarditi, Optimizing memory transactions, ACM SIGPLAN Notices, v.41 n.6, June 2006
	Wolfgang Emmerich , Mikio Aoyama , Joe Sventek, The impact of research on middleware technology, ACM SIGOPS Operating Systems Review, v.41 n.1, January 2007
	Patrick Eugster , Sebastien Vaucouleur, Composing atomic features, Science of Computer Programming, v.63 n.2, p.130-146, 1 December 2006
	John Dunagan , Nicholas J. A. Harvey , Michael B. Jones , Dejan Kostić , Marvin Theimer , Alec Wolman, FUSE: lightweight guaranteed distributed failure notification, Proceedings of the 6th conference on Symposium on Opearting Systems Design & Implementation, p.11-11, December 06-08, 2004, San Francisco, CA
	Sudarshan M. Srinivasan , Srikanth Kandula , Christopher R. Andrews , Yuanyuan Zhou, Flashback: a lightweight extension for rollback and deterministic replay for software debugging, Proceedings of the USENIX Annual Technical Conference 2004 on USENIX Annual Technical Conference, p.3-3, June 27-July 02, 2004, Boston, MA
	Wolfgang Emmerich , Mikio Aoyama , Joe Sventek, The impact of research on middleware technology, ACM SIGSOFT Software Engineering Notes, v.32 n.1, January 2007
	Michael J. Feeley , Jeffrey S. Chase , Vivek R. Narasayya , Henry M. Levy, Integrating coherency and recoverability in distributed systems, Proceedings of the 1st USENIX conference on Operating Systems Design and Implementation, p.16-es, November 14-17, 1994, Monterey, California
	Joshua S. Auerbach , Arthur P. Goldberg , Germán S. Goldszmidt , Ajei S. Gopal , Mark T. Kennedy , Josyula R. Rao , James R. Russell, Concert/C: a language for distributed programming, Proceedings of the USENIX Winter 1994 Technical Conference on USENIX Winter 1994 Technical Conference, p.8-8, January 17-21, 1994, San Francisco, California
	Andrew P. Black , Norman C. Hutchinson , Eric Jul , Henry M. Levy, The development of the Emerald programming language, Proceedings of the third ACM SIGPLAN conference on History of programming languages, p.11-1-11-51, June 09-10, 2007, San Diego, California
	Nupur Kothari , Ramakrishna Gummadi , Todd Millstein , Ramesh Govindan, Reliable and efficient programming abstractions for wireless sensor networks, ACM SIGPLAN Notices, v.42 n.6, June 2007
	Marcos K. Aguilera , Arif Merchant , Mehul Shah , Alistair Veitch , Christos Karamanolis, Sinfonia: a new paradigm for building scalable distributed systems, ACM SIGOPS Operating Systems Review, v.41 n.6, December 2007
	Karun N. Biyani , Sandeep S. Kulkarni, Mixed-Mode Adaptation in Distributed Systems: A Case Study, Proceedings of the 2007 International Workshop on Software Engineering for Adaptive and Self-Managing Systems, p.14, May 20-26, 2007
	A. L. Ananda , B. H. Tay , E. K. Koh, A survey of asynchronous remote procedure calls, ACM SIGOPS Operating Systems Review, v.26 n.2, p.92-109, April 1992
	Vincenzo Ambriola , Giovanni A. Cignoni, A distributed virtual machine to support software process, ACM SIGSOFT Software Engineering Notes, v.20 n.1, p.85-89, Jan. 1995
	Antonio Rito Silva , Joaö Pereira , Pedro Sousa, A Framework for Heterogeneous Concurrency Control Policies in Distributed Applications, Proceedings of the 8th International Workshop on Software Specification and Design, p.105, March 22-23, 1996
	B. H. Tay , A. L. Ananda, A survey of remote procedure calls, ACM SIGOPS Operating Systems Review, v.24 n.3, p.68-79, July 1990
	Russell Sears , Eric Brewer, Stasis: flexible transactional storage, Proceedings of the 7th symposium on Operating systems design and implementation, November 06-08, 2006, Seattle, Washington
	Pascal Felber , Christof Fetzer , Rachid Guerraoui , Tim Harris, Transactions are back---but are they the same?, ACM SIGACT News, v.39 n.1, March 2008
	Paul E. McKenney , Jonathan Walpole, Introducing technology into the Linux kernel: a case study, ACM SIGOPS Operating Systems Review, v.42 n.5, p.4-17, July 2008
	Wolfgang Emmerich , Mikio Aoyama , Joe Sventek, The impact of research on the development of middleware technology, ACM Transactions on Software Engineering and Methodology (TOSEM), v.17 n.4, p.1-48, August 2008

INDEX TERMS

Primary Classification:
H. Information Systems
H.2 DATABASE MANAGEMENT
H.2.4 Systems
Subjects: Distributed databases

Additional Classification:
C. Computer Systems Organization
C.2 COMPUTER-COMMUNICATION NETWORKS
C.4 PERFORMANCE OF SYSTEMS
Subjects: Reliability, availability, and serviceability

D. Software
D.3 PROGRAMMING LANGUAGES
D.3.2 Language Classifications

Nouns: ARGUS
D.3.3 Language Constructs and Features
Subjects: Abstract data types; Concurrent programming structures
D.4 OPERATING SYSTEMS
D.4.7 Organization and Design
Subjects: Distributed systems

General Terms:
Design, Languages, Reliability

REVIEW

"Peter B. Danzig : Reviewer"

Liskov uses program excerpts to illustrate how the Argus system exploits its programming language to create resilient, easily expressed, distributed programs. The paper walks the reader through the design of a distributed banking database, and s more...

Collaborative Colleagues:

Barbara Liskov: colleagues

Adobe Acrobat

QuickTime

Windows Media Player

Real Player