Guardians and Actions: Linguistic Support for Robust, Distributed Programs

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Guardians and Actions: Linguistic Support for Robust, Distributed Programs

Full text

Pdf (1.66 MB)

Source

ACM Transactions on Programming Languages and Systems (TOPLAS) archive
Volume 5 , Issue 3 (July 1983) table of contents

Pages: 381 - 404

Year of Publication: 1983

ISSN:0164-0925

Authors

Barbara Liskov	Laboratory for Computer Science, Massachusetts Institute of Technology, 545 Technology Square, Cambridge, MA
Robert Scheifler	Laboratory for Computer Science, Massachusetts Institute of Technology, 545 Technology Square, Cambridge, MA

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 1, Downloads (12 Months): 42, Citation Count: 131

Additional Information:

references cited by index terms 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/2166.357215 What is a DOI?

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	Andrew D. Birrell , Roy Levin , Michael D. Schroeder , Roger M. Needham, Grapevine: an exercise in distributed computing, Communications of the ACM, v.25 n.4, p.260-274, April 1982 [doi>10.1145/358468.358487]
	2	BLOOM, T. Dynamic Module Replacement in a Distributed Programming Environment. Ph.D. dissertation, Laboratory for Computer Science, Massachusetts Inst. of Technology, Cambridge, Mass., to appear.
	3	Per Brinch Hansen, Distributed processes: a concurrent programming concept, Communications of the ACM, v.21 n.11, p.934-941, Nov. 1978 [doi>10.1145/359642.359651]
	4	DAVIES, C.T. Data processing spheres of control. IBM Syst. J. 17, 2 (1978), 179-198.
	5	Charles T. Davies, Jr., Recovery semantics for a DB/DC system, Proceedings of the annual conference, p.136-141, August 27-29, 1973, Atlanta, Georgia, United States [doi>10.1145/800192.805694]
	6	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]
	7	Jerome A. Feldman, High level programming for distributed computing, Communications of the ACM, v.22 n.6, p.353-368, June 1979 [doi>10.1145/359114.359127]
	8	Jim Gray, Notes on Data Base Operating Systems, Operating Systems, An Advanced Course, p.393-481, January 1978
	9	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.). Elsevier North-Holland, New York, 1976.
	10	Jim Gray , Paul McJones , Mike Blasgen , Bruce Lindsay , Raymond Lorie , Tom Price , Franco Putzolu , Irving Traiger, The Recovery Manager of the System R Database Manager, ACM Computing Surveys (CSUR), v.13 n.2, p.223-242, June 1981 [doi>10.1145/356842.356847]
	11	Maurice P. Herlihy , Barbara Liskov, A Value Transmission Method for Abstract Data Types, ACM Transactions on Programming Languages and Systems (TOPLAS), v.4 n.4, p.527-551, Oct. 1982 [doi>10.1145/69622.357182]
	12	C. A. R. Hoare, Communicating sequential processes, Communications of the ACM, v.21 n.8, p.666-677, Aug. 1978 [doi>10.1145/359576.359585]
	13	C. A. R. Hoare, Monitors: an operating system structuring concept, Communications of the ACM, v.17 n.10, p.549-557, Oct. 1974 [doi>10.1145/355620.361161]
	14	LAMPORT, L. Towards a theory of correctness for multi-user data base systems. Rep. CA-7610- 0712, Massachusetts Computer Associates, Wakefield, Mass., Oct. 1976.
	15	LAMPSO~, B., AND STURCIS, H. Crash recovery in a distributed data storage system. Xerox ?ARC, Palo Alto, Calif., Apr. 1979.
	16	LISKOV, B. On linguistic support for distributed programs. In Proceedings, IEEE Symposium on Reliability in Distributed Software and Database Systems, Pittsburgh, Pa., July 1981, pp. 53-60.
	17	B Liskov , E Moss , A Snyder , R Atkinson , J C. Schaffert , T Bloom , R Scheifler, CLU reference manual, Springer-Verlag New York, Inc., New York, NY, 1984
	18	Barbara Liskov , Robert Scheifler, Guardians and actions: linguistic support for robust, distributed programs, Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.7-19, January 25-27, 1982, Albuquerque, Mexico [doi>10.1145/582153.582155]
	19	LISKOV, B., AND S~YDER, A. Exception handling in CLU. IEEE Trans. Softw. Eng. SE-5, 6 (Nov. 1979), 546-558.
	20	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]
	21	Barbara Liskov , Stephen Zilles, Programming with abstract data types, Proceedings of the ACM SIGPLAN symposium on Very high level languages, p.50-59, March 28-29, 1974, Santa Monica, California, United States
	22	D. B. Lomet, Process structuring, synchronization, and recovery using atomic actions, Proceedings of an ACM conference on Language design for reliable software, p.128-137, March 28-30, 1977, Raleigh, North Carolina
	23	E. B. Moss, NESTED TRANSACTIONS: AN APPROACH TO RELIABLE DISTRIBUTED COMPUTING, Massachusetts Institute of Technology, Cambridge, MA, 1981
	24	J. D. Ichbiah, Preliminary Ada reference manual, ACM SIGPLAN Notices, v.14 n.6a, p.1-145, June 1979 [doi>10.1145/956650.956651]
	25	RANDELL, B. System structure for software fault tolerance. IEEE Trans. Sofiw. Eng. SE-1, 2 (June 1975), 220-232.
	26	D. P. Reed, NAMING AND SYNCHRONIZATION IN A DECENTRALIZED COMPUTER SYSTEM, Massachusetts Institute of Technology, Cambridge, MA, 1978
	27	Daniel J. Rosenkrantz , Richard E. Stearns , Philip M. Lewis, II, System level concurrency control for distributed database systems, ACM Transactions on Database Systems (TODS), v.3 n.2, p.178-198, June 1978 [doi>10.1145/320251.320260]
	28	SHRIVASTAVA, S.K., AND BANATRE, J.P. Reliable resource allocation between unreliable processes. IEEE Trans. Sofiw. Eng. SE-4, 3 (May 1978), 230-240.
	29	Alfred Z. Spector, Performing remote operations efficiently on a local computer network, Communications of the ACM, v.25 n.4, p.246-260, April 1982 [doi>10.1145/358468.358478]
	30	WEIHL, W., AND LISKOV, B. Specification and implementation of resilient, atomic data types. Computation Structures Group Memo 223, Laboratory for Computer Science, Massachusetts Inst. of Technology, Cambridge, Mass., Dec. 1982.

CITED BY 131

	M. A. Tsoukarellas , T. S. Papatheodorou, A run time support system for multiprocessor machines, ACM SIGARCH Computer Architecture News, v.18 n.3b, p.470-478, Sept. 1990
	Anders Bjornerstedt , Stefan Britts, AVANCE: an object management system, ACM SIGPLAN Notices, v.23 n.11, p.206-221, Nov. 1988
	Richard N. Taylor , Frank C. Belz , Lori A. Clarke , Leon Osterweil , Richard W. Selby , Jack C. Wileden , Alexander L. Wolf , Michael Young, Foundations for the Arcadia environment architecture, ACM SIGSOFT Software Engineering Notes, v.13 n.5, p.1-13, November 1988
	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
	M. Satyanarayanan , Henry H. Mashburn , Puneet Kumar , David C. Steere , James J. Kistler, Lightweight recoverable virtual memory, ACM SIGOPS Operating Systems Review, v.27 n.5, p.146-160, Dec. 1993
	James O'Toole , Scott Nettles , David Gifford, Concurrent compacting garbage collection of a persistent heap, ACM SIGOPS Operating Systems Review, v.27 n.5, p.161-174, Dec. 1993
	D. P. Bradshaw , R. L. Sunday , P. Å. Larson, Transaction management in Hermes, Proceedings of the 1991 conference of the Centre for Advanced Studies on Collaborative research, October 28-30, 1991, Toronto, Ontario, Canada
	Kenneth P. Birman, Replication and fault-tolerance in the ISIS system, ACM SIGOPS Operating Systems Review, v.19 n.5, p.79-86, Dec. 1-4, 1985
	M. S. Atkins , M. Y. Coady, Adaptable concurrency control for atomic data types, ACM Transactions on Computer Systems (TOCS), v.10 n.3, p.190-225, Aug. 1992
	Sabine Habert , Laurence Mosseri, COOL: kernel support for object-oriented environments, ACM SIGPLAN Notices, v.25 n.10, p.269-275, Oct. 1990
	Maurice Herlihy, A quorum-consensus replication method for abstract data types, ACM Transactions on Computer Systems (TOCS), v.4 n.1, p.32-53, Feb. 1986
	Bharat Bhargava , John Dilley , John Riedl, RAID: a robust and adaptable distributed system, Proceedings of the 2nd workshop on Making distributed systems work, p.1-7, September 08-10, 1986, Amsterdam, Netherlands
	Mark S. Day, Replication, reconfiguration, and the Argus mail repository, Proceedings of the 2nd workshop on Making distributed systems work, p.1-4, September 08-10, 1986, Amsterdam, Netherlands
	William Weihl , Barbara Liskov, Specification and implementation of resilient, atomic data types, Proceedings of the 1983 ACM SIGPLAN symposium on Programming language issues in software systems, p.53-64, June 27-29, 1983, San Francisco, California, United States
	Gerhard Weikum, Pros and cons of operating system transactions for data base systems, Proceedings of 1986 ACM Fall joint computer conference, p.1219-1225, November 1986, Dallas, Texas, United States
	William E. Weihl, Distributed version management for read-only actions (extended abstract), Proceedings of the fourth annual ACM symposium on Principles of distributed computing, p.122-135, August 1985, Minaki, Ontario, Canada
	Sudha Ram , David A. Carlson, HyperIntelligence: the next frontier, Communications of the ACM, v.33 n.3, p.311-321, March 1990
	Susan B. Davidson , Hector Garcia-Molina , Dale Skeen, Consistency in a partitioned network: a survey, ACM Computing Surveys (CSUR), v.17 n.3, p.341-370, Sept. 1985
	Nicholas Haines , Darrell Kindred , J. Gregory Morrisett , Scott M. Nettles , Jeannette M. Wing, Composing first-class transactions, ACM Transactions on Programming Languages and Systems (TOPLAS), v.16 n.6, p.1719-1736, Nov. 1994
	Shmuel Katz, A superimposition control construct for distributed systems, ACM Transactions on Programming Languages and Systems (TOPLAS), v.15 n.2, p.337-356, April 1993
	M. Satyanarayanan , Henry H. Mashburn , Puneet Kumar , David C. Steere , James J. Kistler, Lightweight recoverable virtual memory, ACM Transactions on Computer Systems (TOCS), v.12 n.1, p.33-57, Feb. 1994
	Michel Banâtre , Philippe Joubert , Christine Morin , Gilles Muller , Bruno Rochat, Using dynamic atomic actions to build fault tolerant 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
	Sunil K. Sarin , Irene Greif, Software for interactive on-line conferences, ACM SIGOA Newsletter, v.5 n.1-2, p.46-58, June 25-27, 1984
	R. A. Lerner, Reliable servers: design and implementation in avalon/C++, Proceedings of the first international symposium on Databases in parallel and distributed systems, p.13-21, December 05-07, 1988, Austin, Texas, United States
	Marek Rusinkiewicz , Dimitrios Georgakopoulos, REQUEST II — a distributed database system for local area networks, Proceedings of 1986 ACM Fall joint computer conference, p.1179-1188, November 1986, Dallas, Texas, United States
	J. Kramer , J. Magee , M. Sloman, Configuration support for system description, construction and evolution, ACM SIGSOFT Software Engineering Notes, v.14 n.3, p.28-33, May 1989
	B. Liskov , D. Curtis , P. Johnson , R. Scheifer, Implementation of Argus, ACM SIGOPS Operating Systems Review, v.21 n.5, p.111-122, Nov. 1987
	Andrew S. Tanenbaum , Robbert Van Renesse, Distributed operating systems, ACM Computing Surveys (CSUR), v.17 n.4, p.419-470, Dec. 1985
	B. E. Hart , S. Danforth , P. Valduriez, Parallelizing a database programming language, Proceedings of the first international symposium on Databases in parallel and distributed systems, p.72-79, December 05-07, 1988, Austin, Texas, United States
	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
	Tony P. Ng, Using histories to implement atomic objects, ACM Transactions on Computer Systems (TOCS), v.7 n.4, p.360-393, Nov. 1989
	Maurice Herlihy , Nancy Lynch , Michael Merritt , William Weihl, On the correctness of orphan management algorithms, Journal of the ACM (JACM), v.39 n.4, p.881-930, Oct. 1992
	Jack C. Wileden , Alexander L. Wolf , William R. Rosenblatt , Peri L. Tarr, Specification-level interoperability, Communications of the ACM, v.34 n.5, p.72-87, May 1991
	R. Jha , G. Eisenhauer, Distributed Ada-approach and implementation, Proceedings of the conference on Tri-Ada '89: Ada technology in context: application, development, and deployment, p.439-449, January 1989, Pittsburgh, Pennsylvania, United States
	Barbara Liskov, A history of CLU, ACM SIGPLAN Notices, v.28 n.3, p.133-147, March 1993
	K. Schwan , R. Ramnath , S. Vasudevan , D. Ogle, A system for parallel programming, Proceedings of the 9th international conference on Software Engineering, p.270-282, March 1987, Monterey, California, United States
	Karsten Schwan , Tom Bihari , Bruce W. Weide , Gregor Taulbee, High-performance operating system primitives for robotics and real-time control systems, ACM Transactions on Computer Systems (TOCS), v.5 n.3, p.189-231, Aug. 1987
	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
	William E. Weihl, Data-dependent concurrency control and recovery (Extended Abstract), Proceedings of the second annual ACM symposium on Principles of distributed computing, p.63-75, August 17-19, 1983, Montreal, Quebec, Canada
	A. Z. Spector, Invited talk: modular architectures for distributed and databases systems, Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.217-224, March 1989, Philadelphia, Pennsylvania, United States
	D. Tsichritzis , E. Fiume , S. Gibbs , O. Nierstrasz, KNOs: KNowledge acquisition, dissemination, and manipulation Objects, ACM Transactions on Information Systems (TOIS), v.5 n.1, p.96-112, Jan. 1987
	F. Baiardi , L. Ricci , M. Vanneschi, Static checking of interprocess communication in ECSP, ACM SIGPLAN Notices, v.19 n.6, p.290-299, June 1984
	Catriel Beeri , Philip A. Bernstein , Nathan Goodman, A model for concurrency in nested transactions systems, Journal of the ACM (JACM), v.36 n.2, p.230-269, April 1989
	Alexander Schill , Ashok Malhotra, Language and distributed system support for complex organizational services, ACM SIGOIS Bulletin, v.12 n.2-3, p.1-15, Nov. 1991
	Thanasis Hadzilacos , Vassos Hadzilacos, Transaction synchronisation in object bases, Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.193-200, March 1988, Austin, Texas, United States
	Ivar Jacobson, Language support for changeable large real time systems, ACM SIGPLAN Notices, v.21 n.11, p.377-384, Nov. 1986
	David K. Gifford , Nathan Glasser, Remote pipes and procedures for efficient distributed communication, ACM Transactions on Computer Systems (TOCS), v.6 n.3, p.258-283, Aug. 1988
	R. N. Chang , C. V. Ravishankar, A Service Acquisition Mechanism for Server-Based Heterogeneous Distributed Systems, IEEE Transactions on Parallel and Distributed Systems, v.5 n.2, p.154-169, February 1994
	J. C. Wileden , Alexander L. Wolf , W. R. Rosenblatt , P. L. Tarr, Specification level interoperability, Proceedings of the 12th international conference on Software engineering, p.74-85, March 26-30, 1990, Nice, France
	Robert W. Scheifler , Jim Gettys, The X window system, ACM Transactions on Graphics (TOG), v.5 n.2, p.79-109, April 1986
	Thomas Merrow , Jame Laursen, A pragmatic system for shared persistent objects, ACM SIGPLAN Notices, v.22 n.12, p.103-110, Dec. 1987
	O. M. Nierstrasz, Active objects in hybrid, ACM SIGPLAN Notices, v.22 n.12, p.243-253, Dec. 1987
	M. Herlihy, Concurrency and availability as dual properties of replicated atomic data, Journal of the ACM (JACM), v.37 n.2, p.257-278, April 1990
	C. Mohan , Don Haderle , Bruce Lindsay , Hamid Pirahesh , Peter Schwarz, ARIES: a transaction recovery method supporting fine-granularity locking and partial rollbacks using write-ahead logging, ACM Transactions on Database Systems (TODS), v.17 n.1, p.94-162, March 1992
	Peter Wegner, Dimensions of object-based language design, ACM SIGPLAN Notices, v.22 n.12, p.168-182, Dec. 1987
	Maurice Herlihy, Comparing how atomicity mechanisms support replication, Proceedings of the fourth annual ACM symposium on Principles of distributed computing, p.102-110, August 1985, Minaki, Ontario, Canada
	Vassos Hadzilacos, A theory of reliability in database systems, Journal of the ACM (JACM), v.35 n.1, p.121-145, Jan. 1988
	Gregory R. Andrews , Michael Coffin , Irving Elshoff , Kelvin Nilson , Gregg Townsend , Ronald A. Olsson , Titus Purdin, An overview of the SR language and implementation, ACM Transactions on Programming Languages and Systems (TOPLAS), v.10 n.1, p.51-86, Jan. 1988
	L.-F. Cabrera , J. A. McPherson , P. M. Schwarz , J. C. Wyllie, Implementing Atomicity in Two Systems: Techniques, Tradeoffs, and Experience, IEEE Transactions on Software Engineering, v.19 n.10, p.950-961, October 1993
	W. E. Weihl, Local atomicity properties: modular concurrency control for abstract data types, ACM Transactions on Programming Languages and Systems (TOPLAS), v.11 n.2, p.249-282, April 1989
	Barbara Liskov, Distributed programming in Argus, Communications of the ACM, v.31 n.3, p.300-312, March 1988
	William E. Weihl, Linguistic support for atomic data types, ACM Transactions on Programming Languages and Systems (TOPLAS), v.12 n.2, p.178-202, April 1990
	Joshua J. Bloch , Dean S. Daniels , Alfred Z. Spector, A weighted voting algorithm for replicated directories, Journal of the ACM (JACM), v.34 n.4, p.859-909, Oct. 1987
	Brian M. Oki , Barbara H. Liskov , Robert W. Scheifler, Reliable object storage to support atomic actions, ACM SIGOPS Operating Systems Review, v.19 n.5, p.147-159, Dec. 1-4, 1985
	Jean-Pierre Briot , Rachid Guerraoui , Klaus-Peter Lohr, Concurrency and distribution in object-oriented programming, ACM Computing Surveys (CSUR), v.30 n.3, p.291-329, Sept. 1998
	Devesh Bhatt, Implementing a distributed fault-tolerant embedded system in Ada, Proceedings of the conference on TRI-ADA '90, p.323-331, December 03-06, 1990, Baltimore, Maryland, United States
	A. Biliris , S. Dar , N. Gehani , H. V. Jagadish , K. Ramamritham, ASSET: a system for supporting extended transactions, ACM SIGMOD Record, v.23 n.2, p.44-54, June 1994
	W. E. Weihl, The impact of recovery on concurrency control, Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.259-269, March 1989, Philadelphia, Pennsylvania, United States
	Rober Haskin , Yoni Malachi , Gregory Chan, Recovery management in QuickSilver, ACM Transactions on Computer Systems (TOCS), v.6 n.1, p.82-108, Feb. 1988
	Irene Greif , Sunil Sarin, Data sharing in group work, ACM Transactions on Information Systems (TOIS), v.5 n.2, p.187-211, April 1987
	Irene Greif , Sunil Sarin, Data sharing in group work, Proceedings of the 1986 ACM conference on Computer-supported cooperative work, December 03-05, 1986, Austin, Texas
	Partha Dasgupta, A probe-based monitoring scheme for an object-oriented distributed operating system, ACM SIGPLAN Notices, v.21 n.11, p.57-66, Nov. 1986
	Anita Borg , Wolfgang Blau , Wolfgang Graetsch , Ferdinand Herrmann , Wolfgang Oberle, Fault tolerance under UNIX, ACM Transactions on Computer Systems (TOCS), v.7 n.1, p.1-24, Feb. 1989
	S. K. Shrivastava , D. L. McCue, Structuring Fault-Tolerant Object Systems for Modularity in a Distributed Environment, IEEE Transactions on Parallel and Distributed Systems, v.5 n.4, p.421-432, April 1994
	Matthew Flatt , Robert Bruce Findler, Kill-safe synchronization abstractions, ACM SIGPLAN Notices, v.39 n.6, May 2004
	Andrew M. Tyrrell , Geof F. Carpenter, CSP Methods for Identifying Atomic Actions in the Design of Fault Tolerant Concurrent Systems, IEEE Transactions on Software Engineering, v.21 n.7, p.629-639, July 1995
	Tim Harris , Keir Fraser, Language support for lightweight transactions, ACM SIGPLAN Notices, v.38 n.11, November 2003
	Ming-Ling Lo , C. V. Ravishankar, A concurrency control protocol for nested transactions, Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research, November 09-12, 1992, Toronto, Ontario, Canada
	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
	Rong N. Chang , Chinya V. Ravishankar , Jacob Slonim, A service acquisition mechanism for the client/service model in cygnus, Proceedings of the 1991 conference of the Centre for Advanced Studies on Collaborative research, October 28-30, 1991, Toronto, Ontario, Canada
	F. Panzieri , S. K. Shrivastava, Rajdoot: A Remote Procedure Call Mechanism Supporting Orphan Detection and Killing, IEEE Transactions on Software Engineering, v.14 n.1, p.30-37, January 1988
	Kenneth J. Goldman , Nancy A. Lynch, Quorum consensus in nested transaction systems, Proceedings of the sixth annual ACM Symposium on Principles of distributed computing, p.27-41, August 10-12, 1987, Vancouver, British Columbia, Canada
	A. Fekete , N. Lynch , M. Merrit , W. Weihl, Nested transactions and read-write locking, Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.97-111, March 23-25, 1987, San Diego, California, United States
	Yen-Min Huang , C. V. Ravishankar, Designing an Agent Synthesis System for Cross-RPC Communication, IEEE Transactions on Software Engineering, v.20 n.3, p.188-198, March 1994
	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
	Sudharsan R. Iyengar , Narayan C. Debnath, A general abstract representation for the study of concurrent programs, Proceedings of the 1993 ACM conference on Computer science, p.131-136, February 16-18, 1993, Indianapolis, Indiana, United States
	Mustaque Ahamad , Muthusamy Chelliah, Flexible Robust Programming in Distributed Object Systems, IEEE Transactions on Knowledge and Data Engineering, v.14 n.5, p.1126-1140, September 2002
	James W. Stamos , David K. Gifford, Implementing Remote Evaluation, IEEE Transactions on Software Engineering, v.16 n.7, p.710-722, July 1990
	Irene Greif , Robert Seliger , William E. Weihl, Atomic data abstractions in a distributed collaborative editing system, Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.160-172, January 01, 1986, St. Petersburg Beach, Florida
	Karsten Schwan , Rajiv Ramnath , Sridhar Vasudevan , David Ogle, A Language and System for the Construction and Tuning of Parallel Programs, IEEE Transactions on Software Engineering, v.14 n.4, p.455-471, April 1988
	W. E. Weihl, Commutativity-Based Concurrency Control for Abstract Data Types, IEEE Transactions on Computers, v.37 n.12, p.1488-1505, December 1988
	David L. Detlefs , Maurice P. Herlihy , Jeannette M. Wing, Inheritance of Synchronization and Recovery Properties in Avalon/C++, Computer, v.21 n.12, p.57-69, December 1988
	Jeff Magee , Morris Sloman, Constructing Distributed Systems in Conic, IEEE Transactions on Software Engineering, v.15 n.6, p.663-675, June 1989
	M. Herlihy , M. S. McKendry, Timestamp-Based Orphan Elimination, IEEE Transactions on Software Engineering, v.15 n.7, p.825-831, July 1989
	K. Ravindran , S. T. Chanson, Failure Transparency in Remote Procedure Calls, IEEE Transactions on Computers, v.38 n.8, p.1173-1187, August 1989
	Westley Weimer , George C. Necula, Finding and preventing run-time error handling mistakes, ACM SIGPLAN Notices, v.39 n.10, October 2004
	Barbara Liskov , Maurice Herlihy , Lucy Gilbert, Limitations of synchronous communication with static process structure in languages for distributed computing, Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.150-159, January 01, 1986, St. Petersburg Beach, Florida
	Yen-Min Huang , Chinya V. Ravishankar, Constructive Protocol Specification Using Cicero, IEEE Transactions on Software Engineering, v.24 n.4, p.252-267, April 1998
	Kenneth J. Goldman , Bala Swaminathan , T. Paul McCartney , Michael D. Anderson , Ram Sethuraman, The Programmers' Playground: I/O Abstraction for User-Configurable Distributed Applications, IEEE Transactions on Software Engineering, v.21 n.9, p.735-746, September 1995
	M. P. Herlihy , J. M. Wing, Specifying Graceful Degradation, IEEE Transactions on Parallel and Distributed Systems, v.2 n.1, p.93-104, January 1991
	B. R. Badrinath , Krithi Ramamritham, Synchronizing Transactions on Objects, IEEE Transactions on Computers, v.37 n.5, p.541-547, May 1988
	Barbara Liskov, A history of CLU, History of programming languages---II, ACM Press, New York, NY, 1996
	Bill McCloskey , Feng Zhou , David Gay , Eric Brewer, Autolocker: synchronization inference for atomic sections, ACM SIGPLAN Notices, v.41 n.1, p.346-358, January 2006
	Michael F. Ringenburg , Dan Grossman, AtomCaml: first-class atomicity via rollback, ACM SIGPLAN Notices, v.40 n.9, September 2005
	Suresh Jagannathan , Jan Vitek , Adam Welc , Antony Hosking, A transactional object calculus, Science of Computer Programming, v.57 n.2, p.164-186, August 2005
	Raphael Finkel , Michael L. Scott , Yeshayahu Artsy , Hung-Yang Chang, Experience with Charlotte: Simplicity and Function in a Distributed Operating System, IEEE Transactions on Software Engineering, v.15 n.6, p.676-685, June 1989
	Kaloian Manassiev , Madalin Mihailescu , Cristiana Amza, Exploiting distributed version concurrency in a transactional memory cluster, Proceedings of the eleventh ACM SIGPLAN symposium on Principles and practice of parallel programming, March 29-31, 2006, New York, New York, USA
	Maurice Herlihy, Comparing how atomicity mechanisms support replication, ACM SIGOPS Operating Systems Review, v.20 n.3, p.31-39, July, 1986
	Carl A. Waldspurger , Tad Hogg , Bernardo A. Huberman , Jeffrey O. Kephart , W. Scott Stornetta, Spawn: A Distributed Computational Economy, IEEE Transactions on Software Engineering, v.18 n.2, p.103-117, February 1992
	Tim Harris, Exceptions and side-effects in atomic blocks, Science of Computer Programming, v.58 n.3, p.325-343, December 2005
	Stepehn S. Yau , Wonmo Hong, Verification of Concurrent Control Flow in Distributed Computer Systems, IEEE Transactions on Software Engineering, v.14 n.4, p.405-417, April 1988
	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
	James W. Stamos , David K. Gifford, Remote evaluation, ACM Transactions on Programming Languages and Systems (TOPLAS), v.12 n.4, p.537-564, Oct. 1990
	V. Krishna Nandivada , Suresh Jagannathan, Dynamic state restoration using versioning exceptions, Higher-Order and Symbolic Computation, v.19 n.1, p.101-124, March 2006
	Brian D. Carlstrom , Austen McDonald , Hassan Chafi , JaeWoong Chung , Chi Cao Minh , Christos Kozyrakis , Kunle Olukotun, The Atomos transactional programming language, ACM SIGPLAN Notices, v.41 n.6, June 2006
	Oscar Nierstrasz , Dennis Tsichritzis, An object-oriented environment for OIS applications, Proceedings of the 11th international conference on Very Large Data Bases, p.335-345, August 21-23, 1985, Stockholm, Sweden
	David L. Sims , Debra A. Hensgen , Lantz Moore, Performance of concurrent servers generated automatically from sequential servers, USENIX Systems on USENIX Experiences with Distributed and Multiprocessor Systems, p.10-10, September 22-23, 1993, San Diego, California
	James Aspnes , Alan Fekete , Nancy A. Lynch , Michael Merritt , William E. Weihl, A Theory of Timestamp-Based Concurrency Control for Nested Transactions, Proceedings of the 14th International Conference on Very Large Data Bases, p.431-444, August 29-September 01, 1988
	Bernd Walter, Nested Transactions with Multiple Commit Points: An Approach to the Structuring of Advanced Database Applications, Proceedings of the 10th International Conference on Very Large Data Bases, p.161-171, August 27-31, 1984
	Philip A. Bernstein , Per O. Gyllstrom , Tom Wimberg, STDL - A Portable Language for Transaction Processing, Proceedings of the 19th International Conference on Very Large Data Bases, p.218-229, August 24-27, 1993
	K A Lantz , P P Tanner , C Binding , Kuan-Tsae Huang , A Dwelly, Reference models, window systems, and concurrency, ACM SIGGRAPH Computer Graphics, v.21 n.2, p.87-97, April 1987
	Rachid Guerraoui, Dealing with atomicity in object-based distributed systems, ACM SIGPLAN OOPS Messenger, v.3 n.3, p.10-13, July 1992
	Jiannong Cao , K. C. Wang, An abstract model of rollback recovery control in distributed systems, ACM SIGOPS Operating Systems Review, v.26 n.4, p.62-76, Oct. 1992
	A. D. Hutcheon , D. S. Snowden , A. J. Wellings, Programming and debugging distributed real-time applications in Ada, ACM SIGAda Ada Letters, v.VII n.6, p.73-76, Fall 1987
	June Power, The object in perspective, ACM SIGPLAN OOPS Messenger, v.4 n.4, p.28-32, Oct. 1993
	David A. Carlson , Sudha Ram, An architecture for distributed knowledge based-systems, ACM SIGMIS Database, v.22 n.1-2, p.11-21, Winter/Spring 1991
	R. Ananthanarayanan , Sathis Menon , Ajay Mohindra , Umakishore Ramachandran, Experiences in integrating distributed shared memory with virtual memory management, ACM SIGOPS Operating Systems Review, v.26 n.3, p.4-26, July 1992
	Peter Wegner, Granularity of modules in object-based concurrent systems, ACM SIGPLAN Notices, v.24 n.4, p.46-49, April 1989
	Eliot Moss, Panel on concurrency, ACM SIGPLAN Notices, v.23 n.5, p.119-127, May 1988
	Westley Weimer , George C. Necula, Exceptional situations and program reliability, ACM Transactions on Programming Languages and Systems (TOPLAS), v.30 n.2, p.1-51, March 2008