Distributed snapshots

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback
Take a look at the new version of this page: [ beta version ]. Tell us what you think.

Distributed snapshots: determining global states of distributed systems

Full text

Pdf (992 KB)

Source

ACM Transactions on Computer Systems (TOCS) archive
Volume 3 , Issue 1 (February 1985) table of contents

Pages: 63 - 75

Year of Publication: 1985

ISSN:0734-2071

Authors

K. Mani Chandy	Department of Computer Sciences, University of Texas at Austin, Austin, TX
Leslie Lamport	Stanford Research Institute, Menlo Park, CA

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 98, Downloads (12 Months): 418, Citation Count: 333

Additional Information:

abstract 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/214451.214456 What is a DOI?

ABSTRACT

This paper presents an algorithm by which a process in a distributed system determines a global state of the system during a computation. Many problems in distributed systems can be cast in terms of the problem of detecting global states. For instance, the global state detection algorithm helps to solve an important class of problems: stable property detection. A stable property is one that persists: once a stable property becomes true it remains true thereafter. Examples of stable properties are “computation has terminated,” “ the system is deadlocked” and “all tokens in a token ring have disappeared.” The stable property detection problem is that of devising algorithms to detect a given stable property. Global state detection can also be used for checkpointing.

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	K. Mani Chandy , J. Misra, Distributed computation on graphs: shortest path algorithms, Communications of the ACM, v.25 n.11, p.833-837, Nov 1982 [doi>10.1145/358690.358717]
	2	K. Mani Chandy , Jayadev Misra , Laura M. Haas, Distributed deadlock detection, ACM Transactions on Computer Systems (TOCS), v.1 n.2, p.144-156, May 1983 [doi>10.1145/357360.357365]
	3	DIJKSTRA, E.W. The distributed snapshot of K. M. Chandy and L. Lamport. Tech. Rep. EWD 864a, Univ. of Texas, Austin, Tex., 1984.
	4	DIJKSTRA, E. W., AND SCHOLTEN, C.S. Termination detection for diffusing computations. Inf. Proc. Lett. 11, 1 (Aug. 1980), 1-4.
	5	GLIGOR, V. D., AND SHATTUCK, S.H. Deadlock detection in distributed systems. IEEE Trans. Softw. Eng. SE-6, 5 (Sep. 1980), 435-440.
	6	Leslie Lamport, Time, clocks, and the ordering of events in a distributed system, Communications of the ACM, v.21 n.7, p.558-565, July 1978 [doi>10.1145/359545.359563]
	7	LAMPORT, L., AND CHANDY, K.M. On partially-ordered event models of distributed computations. Submitted for publication.
	8	MAHOUD, S. A., AND RIORDAN, J. S. Software controlled access to distributed databases. INFOR 15, 1 (Feb. 1977), 22-36.
	9	MENASCE, D., AND MUNTZ, R. Locking and deadlock detection in distributed data bases. IEEE Trans. Softw. Eng. SE-5, 3 (May 1979), 195-202.
	10	Jayadev Misra , K. M. Chandy, Termination Detection of Diffusing Computations in Communicating Sequential Processes, ACM Transactions on Programming Languages and Systems (TOPLAS), v.4 n.1, p.37-43, Jan. 1982 [doi>10.1145/357153.357156]
	11	Ron Obermarck, Distributed deadlock detection algorithm, ACM Transactions on Database Systems (TODS), v.7 n.2, p.187-208, June 1982 [doi>10.1145/319702.319717]

CITED BY 333

	Amy L. Murphy , Gian Pietro Picco, Reliable Communication for Highly Mobile Agents, Autonomous Agents and Multi-Agent Systems, v.5 n.1, p.81-100, March 2002
	Marija Rakic , Nenad Medvidovic, Increasing the confidence in off-the-shelf components: a software connector-based approach, ACM SIGSOFT Software Engineering Notes, v.26 n.3, p.11-18, May 2001
	L. Bougé , N. Francez, A compositional approach to superimposition, Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.240-249, January 10-13, 1988, San Diego, California, United States
	Lior Shabtay , Adrian Segall, On the memory overhead of distributed snapshots, Proceedings of the thirteenth annual ACM symposium on Principles of distributed computing, p.401, August 14-17, 1994, Los Angeles, California, United States
	Z. Tong , R. Y. Kain , W. T. Tsai, Rollback Recovery in Distributed Systems Using Loosely Synchronized Clocks, IEEE Transactions on Parallel and Distributed Systems, v.3 n.2, p.246-251, March 1992
	Baruch Awerbuch , Rafail Ostrovsky, Memory-efficient and self-stabilizing network RESET (extended abstract), Proceedings of the thirteenth annual ACM symposium on Principles of distributed computing, p.254-263, August 14-17, 1994, Los Angeles, California, United States
	I. J. P. Elshoff, A distributed debugger for Amoeba, ACM SIGPLAN Notices, v.24 n.1, p.1-10, Jan. 1989
	Neeraj Mittal , Vijay K. Garg, Debugging distributed programs using controlled re-execution, Proceedings of the nineteenth annual ACM symposium on Principles of distributed computing, p.239-248, July 16-19, 2000, Portland, Oregon, United States
	James S. Plank , Kai Li, ickp: A Consistent Checkpointer for Multicomputers, IEEE Parallel & Distributed Technology: Systems & Technology, v.2 n.2, p.62-67, June 1994
	Hsien-Kuang Chiou , Willard Korfhage, ENF event predicate detection in distributed systems, Proceedings of the thirteenth annual ACM symposium on Principles of distributed computing, p.91-100, August 14-17, 1994, Los Angeles, California, United States
	Bernadette Charron-Bost , Carole Delporte-Gallet , Hugues Fauconnier, Local and temporal predicates in distributed systems, ACM Transactions on Programming Languages and Systems (TOPLAS), v.17 n.1, p.157-179, Jan. 1995
	Dalia Malki , Ken Birman , Aleta Ricciardi , André Schiper, Uniform actions in asynchronous distributed systems, Proceedings of the thirteenth annual ACM symposium on Principles of distributed computing, p.274-283, August 14-17, 1994, Los Angeles, California, United States
	Baruch Awerbuch , David Peleg, Online tracking of mobile users, Journal of the ACM (JACM), v.42 n.5, p.1021-1058, Sept. 1995
	Madhavan Mukund , K. Narayan Kumar , Milind Sohoni, Bounded time-stamping in message-passing systems, Theoretical Computer Science, v.290 n.1, p.221-239, 1 January 2003
	S. H. Son , J. L. Pfaltz, Reliability mechanisms for ADAMS, Proceedings of the third conference on Hypercube concurrent computers and applications, p.1390-1397, January 1989, Pasadena, California, United States
	K. Li , J. F. Naughton , J. S. Plank, Low-Latency, Concurrent Checkpointing for Parallel Programs, IEEE Transactions on Parallel and Distributed Systems, v.5 n.8, p.874-879, August 1994
	Isabelle Puaut, A distributed garbage collector for active objects, ACM SIGPLAN Notices, v.29 n.10, p.113-128, Oct. 1994
	Paul F. Reynolds, Jr. , Carmen M. Pancerella , Sudhir Srinivasan, Making parallel simulations go fast, Proceedings of the 24th conference on Winter simulation, p.646-656, December 13-16, 1992, Arlington, Virginia, United States
	Ching Tsun Chou , Eli Gafni, Understanding and verifying distributed algorithms using stratified decomposition, Proceedings of the seventh annual ACM Symposium on Principles of distributed computing, p.44-65, August 15-17, 1988, Toronto, Ontario, Canada
	Praskash Panangaden , Kim Taylor, Concurrent common knowledge: a new definition of agreement for asynchronous systems, Proceedings of the seventh annual ACM Symposium on Principles of distributed computing, p.197-209, August 15-17, 1988, Toronto, Ontario, Canada
	Ehud Shapiro, The family of concurrent logic programming languages, ACM Computing Surveys (CSUR), v.21 n.3, p.413-510, Sep. 1989
	A. P. Sistla , J. L. Welch, Efficient distributed recovery using message logging, Proceedings of the eighth annual ACM Symposium on Principles of distributed computing, p.223-238, June 1989, Edmonton, Alberta, Canada
	Yehuda Afek , Danny Dolev , Hagit Attiya , Eli Gafni , Michael Merritt , Nir Shavit, Atomic snapshots of shared memory, Proceedings of the ninth annual ACM symposium on Principles of distributed computing, p.1-13, August 22-24, 1990, Quebec City, Quebec, Canada
	Nuno Neves , Miguel Castro , Paulo Guedes, A checkpoint protocol for an entry consistent shared memory system, Proceedings of the thirteenth annual ACM symposium on Principles of distributed computing, p.121-129, August 14-17, 1994, Los Angeles, California, United States
	Charles E. McDowell , David P. Helmbold, Debugging concurrent programs, ACM Computing Surveys (CSUR), v.21 n.4, p.593-622, Dec. 1989
	George Varghese, Self-stabilization by counter flushing, Proceedings of the thirteenth annual ACM symposium on Principles of distributed computing, p.244-253, August 14-17, 1994, Los Angeles, California, United States
	Alexander I. Tomlinson , Vijay K. Garg, Detecting relational global predicates in distributed systems, ACM SIGPLAN Notices, v.28 n.12, p.21-31, Dec. 1993
	S. Rajsbaum , M. Sidi, On the Performance of Synchronized Programs in Distributed Networks with Random Processing Times and Transmission Delays, IEEE Transactions on Parallel and Distributed Systems, v.5 n.9, p.939-950, September 1994
	P. Frey , R. Radhakrishnan , H. W. Carter , P. A. Wilsey , P. Alexander, A Formal Specification and Verification Framework for Time Warp-Based Parallel Simulation, IEEE Transactions on Software Engineering, v.28 n.1, p.58-78, January 2002
	Robert Cooper , Keith Marzullo, Consistent detection of global predicates, ACM SIGPLAN Notices, v.26 n.12, p.167-174, Dec. 1991
	Michel Hurfin , Noël Plouzeau , Michel Raynal, Detecting atomic sequences of predicates in distributed computations, ACM SIGPLAN Notices, v.28 n.12, p.32-42, Dec. 1993
	Gil Neiger , Sam Toueg, Simulating synchronized clocks and common knowledge in distributed systems, Journal of the ACM (JACM), v.40 n.2, p.334-367, April 1993
	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
	Yehuda Afek , Shlomi Dolev, Local stabilizer, Journal of Parallel and Distributed Computing, v.62 n.5, p.745-765, May 2002
	José M. Piquer, Indirect distributed garbage collection: handling object migration, ACM Transactions on Programming Languages and Systems (TOPLAS), v.18 n.5, p.615-647, Sept. 1996
	Om. P. Damani , Vijay K. Garg, Fault-tolerant distributed simulation, ACM SIGSIM Simulation Digest, v.28 n.1, p.38-45, July 1998
	Kenjiro Taura , Akinori Yonezawa, An effective garbage collection strategy for parallel programming languages on large scale distributed-memory machines, ACM SIGPLAN Notices, v.32 n.7, p.264-275, July 1997
	Jeffrey K. Hollingsworth, An online computation of critical path profiling, Proceedings of the SIGMETRICS symposium on Parallel and distributed tools, p.11-20, May 22-23, 1996, Philadelphia, Pennsylvania, United States
	David B. Johnson , Willy Zwaenepoel, Transparent optimistic rollback recovery, Proceedings of the 4th workshop on ACM SIGOPS European workshop, p.1-4, September 03-05, 1990, Bologna, Italy
	Barbara Liskov , Rivka Ladin, Highly available distributed services and fault-tolerant distributed garbage collection, Proceedings of the fifth annual ACM symposium on Principles of distributed computing, p.29-39, August 11-13, 1986, Calgary, Alberta, Canada
	Ken Hines , Gaetano Borriello, A geographically distributed framework for embedded system design and validation, Proceedings of the 35th annual conference on Design automation, p.140-145, June 15-19, 1998, San Francisco, California, United States
	Alex Scherer , Honghui Lu , Thomas Gross , Willy Zwaenepoel, Transparent adaptive parallelism on NOWs using OpenMP, ACM SIGPLAN Notices, v.34 n.8, p.96-106, Aug. 1999
	S. Even , S. Rajsbaum, The use of a synchronizer yields maximum computation rate in distributed networks, Proceedings of the twenty-second annual ACM symposium on Theory of computing, p.95-105, May 13-17, 1990, Baltimore, Maryland, United States
	Eli Gafni , Michael Merritt , Gadi Taubenfeld, The concurrency hierarchy, and algorithms for unbounded concurrency, Proceedings of the twentieth annual ACM symposium on Principles of distributed computing, p.161-169, August 2001, Newport, Rhode Island, United States
	Cüneyt Özveren , Robert Simcoe , George Varghese, Reliable and efficient hop-by-hop flow control, ACM SIGCOMM Computer Communication Review, v.24 n.4, p.89-100, Oct. 1994
	R. H. B. Netzer , J. Xu, Adaptive message logging for incremental replay of message-passing programs, Proceedings of the 1993 ACM/IEEE conference on Supercomputing, p.840-849, December 1993, Portland, Oregon, United States
	S. Katz , C. A. Richter , K.-S. The, PARIS: a system for reusing partially interpreted schemas, Proceedings of the 9th international conference on Software Engineering, p.377-385, March 1987, Monterey, California, United States
	Manhoi Choy , Hong V. Leong , Man Hon Wong, On distributed object checkpointing and recovery, Proceedings of the fourteenth annual ACM symposium on Principles of distributed computing, p.64-73, August 20-23, 1995, Ottowa, Ontario, Canada
	Richard Koo , Sam Toueg, Checkpointing and rollback-recovery for distributed systems, Proceedings of 1986 ACM Fall joint computer conference, p.1150-1158, November 1986, Dallas, Texas, United States
	Danny Dolev , Eli Gafni , Nir Shavit, Toward a non-atomic era: l-exclusion as a test case, Proceedings of the twentieth annual ACM symposium on Theory of computing, p.78-92, May 02-04, 1988, Chicago, Illinois, United States
	Yehuda Afek , Eli Gafni , Adi Rosén, The slide mechanism with applications in dynamic networks, Proceedings of the eleventh annual ACM symposium on Principles of distributed computing, p.35-46, August 10-12, 1992, Vancouver, British Columbia, Canada
	J. M. Stone, Debugging concurrent processes: a case study, ACM SIGPLAN Notices, v.23 n.7, p.145-153, July 1988
	Vijay A. Saraswat , Kenneth Kahn , David Weinbaum, Detecting stable properties of networks in concurrent logic programming languages, Proceedings of the seventh annual ACM Symposium on Principles of distributed computing, p.210-222, August 15-17, 1988, Toronto, Ontario, Canada
	Nalini Venkatasubramanian , Carolyn Talcott, Reasoning about meta level activities in open distributed systems, Proceedings of the fourteenth annual ACM symposium on Principles of distributed computing, p.144-152, August 20-23, 1995, Ottowa, Ontario, Canada
	Victor C. Zandy , Barton P. Miller, Reliable network connections, Proceedings of the 8th annual international conference on Mobile computing and networking, September 23-28, 2002, Atlanta, Georgia, USA
	Alan Demers , Dan Greene , Carl Hauser , Wes Irish , John Larson , Scott Shenker , Howard Sturgis , Dan Swinehart , Doug Terry, Epidemic algorithms for replicated database maintenance, Proceedings of the sixth annual ACM Symposium on Principles of distributed computing, p.1-12, August 10-12, 1987, Vancouver, British Columbia, Canada
	Shmuel Katz , Doron Peled, Interleaving set temporal logic, Proceedings of the sixth annual ACM Symposium on Principles of distributed computing, p.178-190, August 10-12, 1987, Vancouver, British Columbia, Canada
	Adiseshu Hari , George Varghese , Guru Parulkar, An architecture for packet-striping protocols, ACM Transactions on Computer Systems (TOCS), v.17 n.4, p.249-287, Nov. 1999
	Gil Neiger , Sam Toueg, Substituting for real time and common knowledge in asynchronous distributed systems, Proceedings of the sixth annual ACM Symposium on Principles of distributed computing, p.281-293, August 10-12, 1987, Vancouver, British Columbia, Canada
	Marco Schneider, Self-stabilization, ACM Computing Surveys (CSUR), v.25 n.1, p.45-67, March 1993
	Kia Makki , Niki Pissinou, Detection and resolution of deadlocks in distributed database systems, Proceedings of the fourth international conference on Information and knowledge management, p.411-416, November 29-December 02, 1995, Baltimore, Maryland, United States
	Bojan Grošelj, Fault-tolerant distributed simulation, Proceedings of the 23rd conference on Winter simulation, p.637-641, December 08-11, 1991, Phoenix, Arizona, United States
	George Varghese , Roger Chamberlain , William E. Weihl, The pessimism behind optimistic simulation, ACM SIGSIM Simulation Digest, v.24 n.1, p.126-131, July 1994
	Gruia-Catalin Roman , Kenneth C. Cox, Declarative visualization in the shared dataspace paradigm, Proceedings of the 11th international conference on Software engineering, p.34-43, May 1989, Pittsburgh, Pennsylvania, United States
	Anish Arora , Sandeep Kulkarni , Murat Demirbas, Resettable vector clocks, Proceedings of the nineteenth annual ACM symposium on Principles of distributed computing, p.269-278, July 16-19, 2000, Portland, Oregon, United States
	David E. Lowell , Peter M. Chen, Persistent messages in local transactions, Proceedings of the seventeenth annual ACM symposium on Principles of distributed computing, p.219-226, June 28-July 02, 1998, Puerto Vallarta, Mexico
	Yehuda Afek , Michael Saks, Detecting global termination conditions in the face of uncertainty, Proceedings of the sixth annual ACM Symposium on Principles of distributed computing, p.109-124, August 10-12, 1987, Vancouver, British Columbia, Canada
	Joseph Y. Halpern , Yoram Moses, Knowledge and common knowledge in a distributed environment, Journal of the ACM (JACM), v.37 n.3, p.549-587, July 1990
	Roberto Baldoni , Jean-Michel Hélary , Michel Raynal, Rollback-dependency trackability: visible characterizations, Proceedings of the eighteenth annual ACM symposium on Principles of distributed computing, p.33-42, May 04-06, 1999, Atlanta, Georgia, United States
	Edgar Knapp, Deadlock detection in distributed databases, ACM Computing Surveys (CSUR), v.19 n.4, p.303-328, Dec. 1987
	Lorenzo Alvisi , Keith Marzullo, Trade-offs in implementing causal message logging protocols, Proceedings of the fifteenth annual ACM symposium on Principles of distributed computing, p.58-67, May 23-26, 1996, Philadelphia, Pennsylvania, United States
	Arthur P. Goldberg , Ajei Gopal , Andy Lowry , Rob Strom, Restoring consistent global states of distributed computations, ACM SIGPLAN Notices, v.26 n.12, p.144-154, Dec. 1991
	S. H. Son, An Adaptive Checkpointing Scheme for Distributed Databases with Mixed Types of Transactions, IEEE Transactions on Knowledge and Data Engineering, v.1 n.4, p.450-458, December 1989
	Yehuda Afek , Gad M. Landau , Baruch Schieber , Moti Yung, The power of multimedia: combining point-to point and multi-access networks, Proceedings of the seventh annual ACM Symposium on Principles of distributed computing, p.90-104, August 15-17, 1988, Toronto, Ontario, Canada
	Nuno Neves , W. Kent Fuchs, Adaptive recovery for mobile environments, Communications of the ACM, v.40 n.1, p.68-74, Jan. 1997
	Janice M. Stone, A graphical representation of concurrent processes, ACM SIGPLAN Notices, v.24 n.1, p.226-235, Jan. 1989
	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
	Steven K. Andrianoff, A module on distributed systems for the operating systems course, ACM SIGCSE Bulletin, v.22 n.1, p.176-180, Feb. 1990
	David R. Jefferson, Virtual time, ACM Transactions on Programming Languages and Systems (TOPLAS), v.7 n.3, p.404-425, July 1985
	Wing Hong Cheung , James P. Black , Eric Manning, A Framework for Distributed Debugging, IEEE Software, v.7 n.1, p.106-115, January 1990
	Mani Chandy , Jayadev Misra, An example of stepwise refinement of distributed programs: quiescence detection, ACM Transactions on Programming Languages and Systems (TOPLAS), v.8 n.3, p.326-343, July 1986
	Jinho Ahn , Sung-Gi Min , Chong-Sun Hwang , Heonchang Yu, Efficient Garbage Collection Schemes for Causal Message Logging with Independent Checkpointing, The Journal of Supercomputing, v.22 n.2, p.175-196, June 2002
	Greg Bronevetsky , Daniel Marques , Keshav Pingali , Paul Stodghill, Collective operations in application-level fault-tolerant MPI, Proceedings of the 17th annual international conference on Supercomputing, June 23-26, 2003, San Francisco, CA, USA
	James Arthur Kohl , Philip M. Papadopoulas, Efficient and flexible fault tolerance and migration of scientific simulations using CUMULVS, Proceedings of the SIGMETRICS symposium on Parallel and distributed tools, p.60-71, August 03-04, 1998, Welches, Oregon, United States
	Amy L. Murphy , Gruia-Catalin Roman , George Varghese, An algorithm for message delivery to mobile units, Proceedings of the sixteenth annual ACM symposium on Principles of distributed computing, p.292, August 21-24, 1997, Santa Barbara, California, United States
	Akhil Kumar , Michael Stonebraker, Semantics based transaction management techniques for replicated data, ACM SIGMOD Record, v.17 n.3, p.117-125, June 1988
	Christoper H. Young , Radharamanan Radhakrishnan , Philip A. Wilsey, Optimism: not just for event execution anymore, Proceedings of the thirteenth workshop on Parallel and distributed simulation, p.136-143, May 01-04, 1999, Atlanta, Georgia, United States
	Gregory R. Andrews, Paradigms for process interaction in distributed programs, ACM Computing Surveys (CSUR), v.23 n.1, p.49-90, March 1991
	Robert H. B. Netzer , Timothy W. Brennan , Suresh K. Damodaran-Kamal, Debugging race conditions in message-passing programs, Proceedings of the SIGMETRICS symposium on Parallel and distributed tools, p.31-40, May 22-23, 1996, Philadelphia, Pennsylvania, United States
	Karl Abrahamson, On achieving consensus using a shared memory, Proceedings of the seventh annual ACM Symposium on Principles of distributed computing, p.291-302, August 15-17, 1988, Toronto, Ontario, Canada
	Madalene Spezialetti, An approach to reducing delays in recognizing distributed event occurrences, ACM SIGPLAN Notices, v.26 n.12, p.155-166, Dec. 1991
	Chengzheng Sun, Undo as concurrent inverse in group editors, ACM Transactions on Computer-Human Interaction (TOCHI), v.9 n.4, p.309-361, December 2002
	Dieter Kranzlmüller , Nam Thoai , Jens Volkert, Error detection in large-scale parallel programs with long runtimes, Future Generation Computer Systems, v.19 n.5, p.689-700, July 2003
	Kenneth P. Birman , Bradford B. Glade, Reliability Through Consistency, IEEE Software, v.12 n.3, p.29-41, May 1995
	Vijay K. Garg, Methods for Observing Global Properties in Distributed Systems, IEEE Parallel & Distributed Technology: Systems & Technology, v.5 n.4, p.69-77, October 1997
	Kasidit Chanchio , Xian-He Sun, Communication State Transfer for the Mobility of Concurrent Heterogeneous Computing, IEEE Transactions on Computers, v.53 n.10, p.1260-1273, October 2004
	Loon-Been Chen , I-Chen Wu, An Efficient Distributed Online Algorithm to Detect Strong Conjunctive Predicates, IEEE Transactions on Software Engineering, v.28 n.11, p.1077-1084, November 2002
	Jichiang Tsai, On Properties of RDT Communication-Induced Checkpointing Protocols, IEEE Transactions on Parallel and Distributed Systems, v.14 n.8, p.755-764, August 2003
	Taesoon Park , Inseon Lee , Heon Y. Yeom, An efficient causal logging scheme for recoverable distributed shared memory systems, Parallel Computing, v.28 n.11, p.1549-1572, November 2002
	Ajay D. Kshemkalyani, A Fine-Grained Modality Classification for Global Predicates, IEEE Transactions on Parallel and Distributed Systems, v.14 n.8, p.807-816, August 2003
	E. N. (Mootaz) Elnozahy , Lorenzo Alvisi , Yi-Min Wang , David B. Johnson, A survey of rollback-recovery protocols in message-passing systems, ACM Computing Surveys (CSUR), v.34 n.3, p.375-408, September 2002
	Greg Bronevetsky , Daniel Marques , Keshav Pingali , Paul Stodghill, Automated application-level checkpointing of MPI programs, ACM SIGPLAN Notices, v.38 n.10, October 2003
	Ashfaq A. Khokhar , Susanne E. Hambrusch , Erturk Kocalar, Termination detection in data-driven parallel computations/applications, Journal of Parallel and Distributed Computing, v.63 n.3, p.312-326, March 2003
	Bikram Sengupta , Rance Cleaveland, Triggered message sequence charts, ACM SIGSOFT Software Engineering Notes, v.27 n.6, November 2002
	S. Venkatesan , Tony T-Y. Juang, Efficient algorithms for optimistic crash recovery, Distributed Computing, v.8 n.2, p.105-114, October 1994
	Bikram Sengupta , Rance Cleaveland, Triggered message sequence charts, Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering, November 18-22, 2002, Charleston, South Carolina, USA
	Michel Banâtre , Alain Gefflaut , Philippe Joubert , Christine Morin , Peter A. Lee, An Architecture for Tolerating Processor Failures in Shared-Memory Multiprocessors, IEEE Transactions on Computers, v.45 n.10, p.1101-1115, October 1996
	Marcelo Glusman , Shmuel Katz, A Mechanized Proof Environment for the Convenient Computations Proof Method, Formal Methods in System Design, v.23 n.2, p.115-142, September 2003
	A. Arora , M. Gouda, Distributed Reset, IEEE Transactions on Computers, v.43 n.9, p.1026-1038, September 1994
	L. A. Laranjeira , M. Malek , R. Jenevein, Nest: A Nested-Predicate Scheme for Fault Tolerance, IEEE Transactions on Computers, v.42 n.11, p.1303-1324, November 1993
	Yi-Min Wang, Consistent Global Checkpoints that Contain a Given Set of Local Checkpoints, IEEE Transactions on Computers, v.46 n.4, p.456-468, April 1997
	R. Kurki-Suonio, Action systems in incremental and aspect-oriented modeling, Distributed Computing, v.16 n.2-3, p.201-217, September 2003
	Lorenzo Alvisi , Karan Bhatia , Keith Marzullo, Causality tracking in causal message-logging protocols, Distributed Computing, v.15 n.1, p.1-15, January 2002
	Partha Sarathi Mandal , Krishnendu Mukhopadhyaya, Concurrent checkpoint initiation and recovery algorithms on asynchronous ring networks, Journal of Parallel and Distributed Computing, v.64 n.5, p.649-661, May 2004
	Om P. Damani , Yi-Min Wang , Vijay K. Garg, Distributed recovery with K-optimistic logging, Journal of Parallel and Distributed Computing, v.63 n.12, p.1193-1218, December 2003
	Yoram Moses , Zvi Polunsky , Ayellet Tal , Leonid Ulitsky, Algorithm Visualization For Distributed Environments, Proceedings of the 1998 IEEE Symposium on Information Visualization, p.71-78, October 19-20, 1998, North Carolina
	B. Gupta , Z. Liu , Z. Liang, On designing direct dependency: based fast recovery algorithms for distributed systems, ACM SIGOPS Operating Systems Review, v.38 n.1, p.58-73, January 2004
	Neeraj Mittal , Vijay K. Garg, Finding missing synchronization in a distributed computation using controlled re-execution, Distributed Computing, v.17 n.2, p.107-130, August 2004
	Nitin H. Vaidya, A case for two-level distributed recovery schemes, ACM SIGMETRICS Performance Evaluation Review, v.23 n.1, p.64-73, May 1995
	David Lomet , Gerhard Weikum, Efficient transparent application recovery in client-server information systems, ACM SIGMOD Record, v.27 n.2, p.460-471, June 1998
	Hari Adiseshu , Guru Parulkar , George Varghese, A reliable and scalable striping protocol, ACM SIGCOMM Computer Communication Review, v.26 n.4, p.131-141, Oct. 1996
	E. N. Elnozahy, On the relevance of communication costs of rollback-recovery protocols, Proceedings of the fourteenth annual ACM symposium on Principles of distributed computing, p.74-79, August 20-23, 1995, Ottowa, Ontario, Canada
	M. Ahuja, An Implementation of F-Channels, IEEE Transactions on Parallel and Distributed Systems, v.4 n.6, p.658-667, June 1993
	Emmanuelle Anceaume , Jean-Michel Hélary , Michel Raynal, Tracking immediate predecessors in distributed computations, Proceedings of the fourteenth annual ACM symposium on Parallel algorithms and architectures, August 10-13, 2002, Winnipeg, Manitoba, Canada
	Pablo Galdámez , Declan Murphy , José M. Bernabéu-Aubánjosep , Francesc D. Muñoz-Escoi, Event-Based Techniques to Debug an Object Request Broker, The Journal of Supercomputing, v.13 n.2, p.133-149, March/April 1999
	M. Ahuja , T. Carlson , A. Gahlot, Passive-Space and Time View: Vector Clocks for Achieving Higher Performance, Program Correction, and Distributed Computing, IEEE Transactions on Software Engineering, v.19 n.9, p.845-855, September 1993
	Haim Gaifman , Michael J. Maher , Ehud Shapiro, Replay, recovery, replication, and snapshots of nondeterministic concurrent programs, Proceedings of the tenth annual ACM symposium on Principles of distributed computing, p.241-255, August 19-21, 1991, Montreal, Quebec, Canada
	D. Wybranietz , D. Haban, Monitoring and performance measuring distributed systems during operation, ACM SIGMETRICS Performance Evaluation Review, v.16 n.1, p.197-206, May 1988
	D. Kumar, Development of a Class of Distributed Termination Detection Algorithms, IEEE Transactions on Knowledge and Data Engineering, v.4 n.2, p.145-155, April 1992
	S. Pilarski , T. Kameda, Checkpointing for Distributed Databases: Starting from the Basics, IEEE Transactions on Parallel and Distributed Systems, v.3 n.5, p.602-610, September 1992
	Chia-Shiang Shih , John A. Stankovic, Distributed deadlock detection in Ada run-time environments, Proceedings of the conference on TRI-ADA '90, p.362-375, December 03-06, 1990, Baltimore, Maryland, United States
	Atsushi Hori , Hiroshi Tezuka , Yutaka Ishikawa, Highly efficient gang scheduling implementation, Proceedings of the 1998 ACM/IEEE conference on Supercomputing (CDROM), p.1-14, November 07-13, 1998, San Jose, CA
	Jean-Michael Helary , Claude Jard , Noël Plouzeau , Michel Raynal, Detection of stable properties in distributed applications, Proceedings of the sixth annual ACM Symposium on Principles of distributed computing, p.125-136, August 10-12, 1987, Vancouver, British Columbia, Canada
	Shmuel Katz , Kenneth Perry, Self-stabilizing extensions for message-passing systems, Proceedings of the ninth annual ACM symposium on Principles of distributed computing, p.91-101, August 22-24, 1990, Quebec City, Quebec, Canada
	Amy L. Murphy, Algorithm development in the mobile environment, Proceedings of the 21st international conference on Software engineering, p.728-729, May 16-22, 1999, Los Angeles, California, United States
	Yehuda Afek , Hagit Attiya , Danny Dolev , Eli Gafni , Michael Merritt , Nir Shavit, Atomic snapshots of shared memory, Journal of the ACM (JACM), v.40 n.4, p.873-890, Sept. 1993
	Marc Khouzam , Thomas Kunz, Single stepping in event-visualization tools, Proceedings of the 1996 conference of the Centre for Advanced Studies on Collaborative research, p.19, November 12-14, 1996, Toronto, Ontario, Canada
	Rob Strom , Shaula Yemini, Optimistic recovery in distributed systems, ACM Transactions on Computer Systems (TOCS), v.3 n.3, p.204-226, Aug. 1985
	Carol Critchlow , Kim Taylor, The inhibition spectrum and the achievement of causal consistency, Proceedings of the ninth annual ACM symposium on Principles of distributed computing, p.31-42, August 22-24, 1990, Quebec City, Quebec, Canada
	David B. Johnson , Willy Zwaenepoel, Recovery in distributed systems using asynchronous message logging and checkpointing, Proceedings of the seventh annual ACM Symposium on Principles of distributed computing, p.171-181, August 15-17, 1988, Toronto, Ontario, Canada
	Sang Hyuk Son , Ashok K. Agrawala, Distributed Checkpointing for Globally Consistent States of Databases, IEEE Transactions on Software Engineering, v.15 n.10, p.1157-1167, October 1989
	Jean-Michel Hélary , Achour Mostefaoui , Michel Raynal, Communication-Induced Determination of Consistent Snapshots, IEEE Transactions on Parallel and Distributed Systems, v.10 n.9, p.865-877, September 1999
	Elmootazbellah N. Elnozahy , James S. Plank, Checkpointing for Peta-Scale Systems: A Look into the Future of Practical Rollback-Recovery, IEEE Transactions on Dependable and Secure Computing, v.1 n.2, p.97-108, April 2004
	Murray S. Mazer, A link between knowledge and communication in faulty distributed systems, Proceedings of the 3rd conference on Theoretical aspects of reasoning about knowledge, March 04-07, 1990, Pacific Grove, California
	Murray S. Mazer, A knowledge theoretic account of recovery in distributed systems: the case of negotiated commitment, Proceedings of the 2nd conference on Theoretical aspects of reasoning about knowledge, March 07-09, 1988, Pacific Grove, California
	Robert H. B. Netzer , Jian Xu, Adaptive Message Logging for Incremental Program Replay, IEEE Parallel & Distributed Technology: Systems & Technology, v.1 n.4, p.32-39, November 1993
	Dennis Kafura , Manibrata Mukherji , Douglas M. Washabaugh, Concurrent and Distributed Garbage Collection of Active Objects, IEEE Transactions on Parallel and Distributed Systems, v.6 n.4, p.337-350, April 1995
	Guohong Cao , Mukesh Singhal, Checkpointing with mutable checkpoints, Theoretical Computer Science, v.290 n.2, p.1127-1148, 2 January 2003
	Adnan Agbaria , Hagit Attiya , Roy Friedman , Roman Vitenberg, Quantifying rollback propagation in distributed checkpointing, Journal of Parallel and Distributed Computing, v.64 n.3, p.370-384, March 2004
	Craig M. Chase , Vijay K. Garg, Detection of global predicates: techniques and their limitations, Distributed Computing, v.11 n.4, p.191-201, October 1998
	Ying Zhang , Robert Dick , Krishnendu Chakrabarty, Energy-aware deterministic fault tolerance in distributed real-time embedded systems, Proceedings of the 41st annual conference on Design automation, June 07-11, 2004, San Diego, CA, USA
	Carol Critchlow , Kim Taylor, The inhibition spectrum and the achievement of causal consistency, Distributed Computing, v.10 n.1, p.11-27, July 1996
	V. K. Garg , B. Waldecker, Detection of Weak Unstable Predicates in Distributed Programs, IEEE Transactions on Parallel and Distributed Systems, v.5 n.3, p.299-307, March 1994
	Guy Dumais , Hon F. Li, Distributed Predicate Detection in Series-Parallel Systems, IEEE Transactions on Parallel and Distributed Systems, v.13 n.4, p.373-387, April 2002
	Guohong Cao , Mukesh Singhal, On Coordinated Checkpointing in Distributed Systems, IEEE Transactions on Parallel and Distributed Systems, v.9 n.12, p.1213-1225, December 1998
	Guo-Hui Li , Hong-Ya Wang, A novel min-process checkpointing scheme for mobile computing systems, Journal of Systems Architecture: the EUROMICRO Journal, v.51 n.1, p.45-61, January 2005
	J. L. Kim , T. Park, An Efficient Protocol for Checkpointing Recovery in Distributed Systems, IEEE Transactions on Parallel and Distributed Systems, v.4 n.8, p.955-960, August 1993
	David W. Miller , Jinhua Guo , Eileen Kraemer , Yin Xiong, On-the-fly calculation and verification of consistent steering transactions, Proceedings of the 2001 ACM/IEEE conference on Supercomputing (CDROM), p.1-17, November 10-16, 2001, Denver, Colorado
	K. Mani Chandy , Joseph Kiniry , Adam Rifkin , Daniel Zimmerman, Webs of Archived Distributed Computations for Asynchronous Collaboration, The Journal of Supercomputing, v.11 n.2, p.101-118, Oct. 1997
	N. Stankovic , K. Zhang, A Distributed Parallel Programming Framework, IEEE Transactions on Software Engineering, v.28 n.5, p.478-493, May 2002
	Gurdip Singh, Constraint-based structuring of network protocols, Distributed Computing, v.12 n.1, p.1-12, March 1999
	Greg Bronevetsky , Daniel Marques , Keshav Pingali , Peter Szwed , Martin Schulz, Application-level checkpointing for shared memory programs, ACM SIGARCH Computer Architecture News, v.32 n.5, December 2004
	Ashis Tarafdar , Vijay K. Garg, Predicate control: synchronization in distributed computations with look-ahead, Journal of Parallel and Distributed Computing, v.64 n.2, p.219-237, February 2004
	Ajay D. Kshemkalyani, The power of logical clock abstractions, Distributed Computing, v.17 n.2, p.131-150, August 2004
	Eric Anderson , Dave Patterson, Extensible, Scalable Monitoring for Clusters of Computers, Proceedings of the 11th USENIX conference on System administration, October 26-31, 1997, San Diego, California
	D. Manivannan , Robert H. B. Netzer , Mukesh Singhal, Finding Consistent Global Checkpoints in a Distributed Computation, IEEE Transactions on Parallel and Distributed Systems, v.8 n.6, p.623-627, June 1997
	Jeffrey K. Hollingsworth, Critical Path Profiling of Message Passing and Shared-Memory Programs, IEEE Transactions on Parallel and Distributed Systems, v.9 n.10, p.1029-1040, October 1998
	Jichiang Tsai , Sy-Yen Kuo , Yi-Min Wang, Theoretical Analysis for Communication-Induced Checkpointing Protocols with Rollback-Dependency Trackability, IEEE Transactions on Parallel and Distributed Systems, v.9 n.10, p.963-971, October 1998
	V. K. Garg , J. Ghosh, Repeated Computation of Global Functions in a Distributed Environment, IEEE Transactions on Parallel and Distributed Systems, v.5 n.8, p.823-834, August 1994
	S. Venkatesan , Tony Tong-Ying Juang , Sridhar Alagar, Optimistic Crash Recovery without Changing Application Messages, IEEE Transactions on Parallel and Distributed Systems, v.8 n.3, p.263-271, March 1997
	Nitin H. Vaidya, A Case for Two-Level Recovery Schemes, IEEE Transactions on Computers, v.47 n.6, p.656-666, June 1998
	Ten-Hwang Lai , Li-Fen Wu, An (N -1)-Resilient Algorithm for Distributed Termination Detection, IEEE Transactions on Parallel and Distributed Systems, v.6 n.1, p.63-78, January 1995
	Ravi Prakash , Mukesh Singhal, Low-Cost Checkpointing and Failure Recovery in Mobile Computing Systems, IEEE Transactions on Parallel and Distributed Systems, v.7 n.10, p.1035-1048, October 1996
	Nitin H. Vaidya, Staggered Consistent Checkpointing, IEEE Transactions on Parallel and Distributed Systems, v.10 n.7, p.694-702, July 1999
	Guohong Cao , Mukesh Singhal, Mutable Checkpoints: A New Checkpointing Approach for Mobile Computing Systems, IEEE Transactions on Parallel and Distributed Systems, v.12 n.2, p.157-172, February 2001
	Abhay Vardhan , Gul Agha, Using passive object garbage collection algorithms for garbage collection of active objects, ACM SIGPLAN Notices, v.38 n.2 supplement, February 2003
	Sridhar Alagar , Subbarayan Venkatesan, Techniques to Tackle State Explosion in Global Predicate Detection, IEEE Transactions on Software Engineering, v.27 n.8, p.704-714, August 2001
	A Global-State-Triggered Fault Injector for Distributed System Evaluation, IEEE Transactions on Parallel and Distributed Systems, v.15 n.7, p.593-605, July 2004
	Vijay K. Garg , Brian Waldecker, Detection of Strong Unstable Predicates in Distributed Programs, IEEE Transactions on Parallel and Distributed Systems, v.7 n.12, p.1323-1333, December 1996
	J.-M. Hélary , A. Mostefaoui , R. H. B. Netzer , M. Raynal, Communication-based prevention of useless checkpoints in distributed computations, Distributed Computing, v.13 n.1, p.29-43, January 2000
	Christof Fetzer, Perfect Failure Detection in Timed Asynchronous Systems, IEEE Transactions on Computers, v.52 n.2, p.99-112, February 2003
	J. M. Hélary , A. Mostefaoui , M. Raynal, Interval consistency of asynchronous distributed computations, Journal of Computer and System Sciences, v.64 n.2, p.329-349, March 2002
	Makoto Yokoo , Edmund H. Durfee , Toru Ishida , Kazuhiro Kuwabara, The Distributed Constraint Satisfaction Problem: Formalization and Algorithms, IEEE Transactions on Knowledge and Data Engineering, v.10 n.5, p.673-685, September 1998
	Zhang Youhui , Wang Dongsheng, A checkpoint-based high availability run-time system for Windows NT clusters, ACM SIGOPS Operating Systems Review, v.36 n.2, p.12-18, April 2002
	JinHo Ahn , Sung-Gi Min , Chong-Sun Hwang, A causal message logging protocol for mobile nodes in mobile computing systems, Future Generation Computer Systems, v.20 n.4, p.663-686, May 2004
	Jean-Michel Hélary , Robert H. B. Netzer , Michel Raynal, Consistency Issues in Distributed Checkpoints, IEEE Transactions on Software Engineering, v.25 n.2, p.274-281, March 1999
	T. Camp , P. Kearns , M. Ahuja, Proof Rules for Flush Channels, IEEE Transactions on Software Engineering, v.19 n.4, p.366-378, April 1993
	Tadashi Araragi, Fault tolerance for internet agent systems: in cases of stop failure and byzantine failure, Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems, July 25-29, 2005, The Netherlands
	Taesoon Park , Namyoon Woo , Heon Y. Yeom, An Efficient Optimistic Message Logging Scheme for Recoverable Mobile Computing Systems, IEEE Transactions on Mobile Computing, v.1 n.4, p.265-277, October 2002
	Roberto Baldoni , Francesco Quaglia , Paolo Fornara, An Index-Based Checkpointing Algorithm for Autonomous Distributed Systems, IEEE Transactions on Parallel and Distributed Systems, v.10 n.2, p.181-192, February 1999
	Elmootazbellah N. Elnozahy , Willy Zwaenepoel, Manetho: Transparent Roll Back-Recovery with Low Overhead, Limited Rollback, and Fast Output Commit, IEEE Transactions on Computers, v.41 n.5, p.526-531, May 1992
	Prakash Panangaden , Kim Taylor, Concurrent common knowledge: defining agreement for asynchronous systems, Distributed Computing, v.6 n.2, p.73-93, September 1992
	Bernadette Charron-Bost , Friedemann Mattern , Gerard Tel, Synchronous, asynchronous, and causally ordered communication, Distributed Computing, v.9 n.4, p.173-191, February 1996
	Shmuel Katz , Doron Peled, Verification of distributed programs using representative interleaving sequences, Distributed Computing, v.6 n.2, p.107-120, September 1992
	Shlomi Dolev , Frank Stomp, Safety assurance via on-line monitoring, Distributed Computing, v.16 n.4, p.269-277, December 2003
	Bojan Groselj, Bounded and Minimum Global Snapshots, IEEE Parallel & Distributed Technology: Systems & Technology, v.1 n.4, p.72-83, November 1993
	Bojan Groselj, Bounded and Minimum Global Snapshots, IEEE Parallel & Distributed Technology: Systems & Technology, v.1 n.4, p.72-83, November 1993
	Sujatha Kashyap , Vijay K. Garg, Intractability results in predicate detection, Information Processing Letters, v.94 n.6, p.277-282, 30 June 2005
	Soojung Lee, Fast, Centralized Detection and Resolution of Distributed Deadlocks in the Generalized Model, IEEE Transactions on Software Engineering, v.30 n.9, p.561-573, September 2004
	Yi-Min Wang , Yennun Huang , W. Kent Fuchs , Chandra Kintala, Progressive Retry for Software Failure Recovery in Message-Passing Applications, IEEE Transactions on Computers, v.46 n.10, p.1137-1141, October 1997
	Christian Bessière , Arnold Maestre , Ismel Brito , Pedro Meseguer, Asynchronous backtracking without adding links: a new member in the ABT family, Artificial Intelligence, v.161 n.1-2, p.7-24, January 2005
	Y. C. Tay , W. Tim Loke, On deadlocks of exclusive AND-requests for resources, Distributed Computing, v.9 n.2, p.77-94, October 1995
	Jean-Michel Hélary , Michel Raynal, Towards the construction of distributed detection programs, with an application to distributed termination, Distributed Computing, v.7 n.3, p.137-147, March 1994
	André Schiper , Alain Sandoz, Strong stable properties in distributed systems, Distributed Computing, v.8 n.2, p.93-103, October 1994
	A. Selikhov , C. Germain, A channel memory based fault tolerance for MPI applications, Future Generation Computer Systems, v.21 n.5, p.709-715, May 2005
	Alex Ho , Steven Hand, On the design of a pervasive debugger, Proceedings of the sixth international symposium on Automated analysis-driven debugging, p.117-122, September 19-21, 2005, Monterey, California, USA
	A. D. Kshemkalyani , M. Singhal, Efficient Detection and Resolution of Generalized Distributed Deadlocks, IEEE Transactions on Software Engineering, v.20 n.1, p.43-54, January 1994
	James H. Graham , Adel S. Elmaghraby , Irfan Karachiwala , Hussam Soliman, A VISUAL ENVIRONMENT FOR DISTRIBUTED SIMULATION SYSTEMS, ACM SIGSIM Simulation Digest, v.25 n.3, p.13-22, Winter 1996
	Marius-Calin Silaghi , Boi Faltings, Asynchronous aggregation and consistency in distributed constraint satisfaction, Artificial Intelligence, v.161 n.1-2, p.25-53, January 2005
	Punit Chandra , Ajay D. Kshemkalyani, Causality-Based Predicate Detection across Space and Time, IEEE Transactions on Computers, v.54 n.11, p.1438-1453, November 2005
	Keith Marzullo , Laura S. Sabel, Efficient detection of a class of stable properties, Distributed Computing, v.8 n.2, p.81-91, October 1994
	Reinhard Schwarz , Friedemann Mattern, Detecting causal relationships in distributed computations: in search of the holy grail, Distributed Computing, v.7 n.3, p.149-174, March 1994
	Christine Morin , Isabelle Puaut, A Survey of Recoverable Distributed Shared Virtual Memory Systems, IEEE Transactions on Parallel and Distributed Systems, v.8 n.9, p.959-969, September 1997
	S. Venkatesan , Brhama Dathan, Testing and Debugging Distributed Programs Using Global Predicates, IEEE Transactions on Software Engineering, v.21 n.2, p.163-177, February 1995
	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
	Yi-Min Wang , Pi-Yu Chung , In-Jen Lin , W. Kent Fuchs, Checkpoint Space Reclamation for Uncoordinated Checkpointing in Message-Passing Systems., IEEE Transactions on Parallel and Distributed Systems, v.6 n.5, p.546-554, May 1995
	Shmuel Katz , Kenneth J. Perry, Self-stabilizing extensions for message-passing systems, Distributed Computing, v.7 n.1, p.17-26, November 1993
	Partha Sarathi Mandal , Krishnendu Mukhopadhyaya, Performance analysis of different checkpointing and recovery schemes using stochastic model, Journal of Parallel and Distributed Computing, v.66 n.1, p.99-107, January 2006
	Anish Arora , Sandeep S. Kulkarni , Murat Demirbas, Resettable vector clocks, Journal of Parallel and Distributed Computing, v.66 n.2, p.221-237, February 2006
	Himadri Sekhar Paul , Arobinda Gupta , Amit Sharma, Finding a suitable checkpoint and recovery protocol for a distributed application, Journal of Parallel and Distributed Computing, v.66 n.5, p.732-749, May 2006
	Reinhard Schwarz, Causality 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
	Sergio Rajsbaum, ACM SIGACT News distributed computing column 12, ACM SIGACT News, v.34 n.3, September 2003
	Ge-Ming Chiu , Cheng-Ru Young, Efficient Rollback-Recovery Technique in Distributed Computing Systems, IEEE Transactions on Parallel and Distributed Systems, v.7 n.6, p.565-577, June 1996
	Tracy Camp , Phil Kearns, Fast batched data transfer with flush channels: a performance analysis, Journal of Parallel and Distributed Computing, v.66 n.6, p.780-795, June 2006
	Anirban Majumdar , Clark Thomborson, Manufacturing opaque predicates in distributed systems for code obfuscation, Proceedings of the 29th Australasian Computer Science Conference, p.187-196, January 16-19, 2006, Hobart, Australia
	Neeraj Mittal , Vijay K. Garg, Techniques and applications of computation slicing, Distributed Computing, v.17 n.3, p.251-277, March 2005
	Diego Cucuzzo , Stefano D'Alessio , Francesco Quaglia , Paolo Romano, A Lightweight Heuristic-based Mechanism for Collecting Committed Consistent Global States in Optimistic Simulation, Proceedings of the 11th IEEE International Symposium on Distributed Simulation and Real-Time Applications, p.227-234, October 22-26, 2007
	Robbert van Renesse, Causal controversy at Le Mont St.-Michel, ACM SIGOPS Operating Systems Review, v.27 n.2, p.44-53, April 1993
	Nihar R. Mahapatra , Shantanu Dutt, An efficient delay-optimal distributed termination detection algorithm, Journal of Parallel and Distributed Computing, v.67 n.10, p.1047-1066, October, 2007
	Oren Laadan , Jason Nieh, Transparent checkpoint-restart of multiple processes on commodity operating systems, 2007 USENIX Annual Technical Conference on Proceedings of the USENIX Annual Technical Conference, p.1-14, June 17-22, 2007, Santa Clara, CA
	Hon F. Li , Juergen Rilling , Dhrubajyoti Goswami, Granularity-Driven Dynamic Predicate Slicing Algorithms for Message Passing Systems, Automated Software Engineering, v.11 n.1, p.63-89, January 2004
	Gerard Tel , Friedemann Mattern, The derivation of distributed termination detection algorithms from garbage collection schemes, ACM Transactions on Programming Languages and Systems (TOPLAS), v.15 n.1, p.1-35, Jan. 1993
	Lei Ni , Aaron Harwood , Peter J. Stuckey, Realizing the e-science desktop peer using a peer-to-peer distributed virtual machine middleware, Proceedings of the 4th international workshop on Middleware for grid computing, November 27-December 01, 2006, Melbourne, Australia
	Adam J. Lee , Marianne Winslett, Safety and consistency in policy-based authorization systems, Proceedings of the 13th ACM conference on Computer and communications security, October 30-November 03, 2006, Alexandria, Virginia, USA
	R. Kordale , M. Ahamad , M. Devarakonda, Object caching in a CORBA compliant system, Proceedings of the 2nd conference on USENIX Conference on Object-Oriented Technologies (COOTS), p.6-6, June 17-21, 1996, Toronto, Ontario, Canada
	Daniel J. Scales , Monica S. Lam, Transparent fault tolerance for parallel applications on networks of workstations, Proceedings of the Annual Technical Conference on USENIX 1996 Annual Technical Conference, p.27-27, January 22-26, 1996, San Diego, CA
	Gengbin Zheng , Chao Huang , Laxmikant V. Kalé, Performance evaluation of automatic checkpoint-based fault tolerance for AMPI and Charm++, ACM SIGOPS Operating Systems Review, v.40 n.2, April 2006
	Greg Bronevetsky , Keshav Pingali , Paul Stodghill, Experimental evaluation of application-level checkpointing for OpenMP programs, Proceedings of the 20th annual international conference on Supercomputing, June 28-July 01, 2006, Cairns, Queensland, Australia
	Rahul Garg , Vijay K. Garg , Yogish Sabharwal, Scalable algorithms for global snapshots in distributed systems, Proceedings of the 20th annual international conference on Supercomputing, June 28-July 01, 2006, Cairns, Queensland, Australia
	Camille Coti , Thomas Herault , Pierre Lemarinier , Laurence Pilard , Ala Rezmerita , Eric Rodriguez , Franck Cappello, MPI tools and performance studies---Blocking vs. non-blocking coordinated checkpointing for large-scale fault tolerant MPI, Proceedings of the 2006 ACM/IEEE conference on Supercomputing, November 11-17, 2006, Tampa, Florida
	Ramakrishna Gummadi , Nupur Kothari , Todd Millstein , Ramesh Govindan, Declarative failure recovery for sensor networks, Proceedings of the 6th international conference on Aspect-oriented software development, March 12-16, 2007, Vancouver, British Columbia, Canada
	Hon F. Li , Zunce Wei , Dhrubajyoti Goswami, Quasi-atomic recovery for distributed agents, Parallel Computing, v.32 n.10, p.733-758, November, 2006
	Atul Singh , Petros Maniatis , Timothy Roscoe , Peter Druschel, Using queries for distributed monitoring and forensics, ACM SIGOPS Operating Systems Review, v.40 n.4, October 2006
	David E. Lowell , Subhachandra Chandra , Peter M. Chen, Exploring failure transparency and the limits of generic recovery, Proceedings of the 4th conference on Symposium on Operating System Design & Implementation, p.20-20, October 22-25, 2000, San Diego, California
	Adam J. Lee , Kazuhiro Minami , Marianne Winslett, Lightweight cnsistency enforcement schemes for distributed proofs with hidden subtrees, Proceedings of the 12th ACM symposium on Access control models and technologies, June 20-22, 2007, Sophia Antipolis, France
	Jonathan S. Shapiro , Jonathan Adams, Design Evolution of the EROS Single-Level Store, Proceedings of the General Track: 2002 USENIX Annual Technical Conference, p.59-72, June 10-15, 2002
	Chih-Shun Hsu , Yu-Chee Tseng , Jang-Ping Sheu, An efficient reliable broadcasting protocol for wireless mobile ad hoc networks, Ad Hoc Networks, v.5 n.3, p.299-312, April, 2007
	Ranganath Atreya , Neeraj Mittal , Ajay D. Kshemkalyani , Vijay K. Garg , Mukesh Singhal, Efficient detection of a locally stable predicate in a distributed system, Journal of Parallel and Distributed Computing, v.67 n.4, p.369-385, April, 2007
	Jiang Wu , Yi Luo , D. Manivannan, An enhanced model-based checkpointing protocol, Proceedings of the 25th conference on Proceedings of the 25th IASTED International Multi-Conference: parallel and distributed computing and networks, p.332-337, February 13-15, 2007, Innsbruck, Austria
	Partha Sarathi Mandal , Krishnendu Mukhopadhyaya, Self-stabilizing algorithm for checkpointing in a distributed system, Journal of Parallel and Distributed Computing, v.67 n.7, p.816-829, July, 2007
	Thilo Streichert , Dirk Koch , Christian Haubelt , Jürgen Teich, Modeling and design of fault-tolerant and self-adaptive reconfigurable networked embedded systems, EURASIP Journal on Embedded Systems, v.2006 n.1, p.9-9, January 2006
	Ahlem BenHassine , Tu Bao Ho, An agent-based approach to solve dynamic meeting scheduling problems with preferences, Engineering Applications of Artificial Intelligence, v.20 n.6, p.857-873, September, 2007
	Animashree Anandkumar , Chatschik Bisdikian , Dakshi Agrawal, Tracking in a spaghetti bowl: monitoring transactions using footprints, ACM SIGMETRICS Performance Evaluation Review, v.36 n.1, June 2008
	Ming Chau , Didier El Baz , Ronan Guivarch , Pierre Spiteri, MPI implementation of parallel subdomain methods for linear and nonlinear convection--diffusion problems, Journal of Parallel and Distributed Computing, v.67 n.5, p.581-591, May, 2007
	Denis Caromel , Alexandre di Costanzo , Christian Delbé, Peer-to-Peer and fault-tolerance: Towards deployment-based technical services, Future Generation Computer Systems, v.23 n.7, p.879-887, August, 2007
	Karun N. Biyani , Sandeep S. Kulkarni, Testing Dynamic Adaptation in Distributed Systems, Proceedings of the Second International Workshop on Automation of Software Test, p.10, May 20-26, 2007
	Özalp Babaoğlu , Renzo Davoli , Alberto Montresor, Group membership and view synchrony in partitionable asynchronous distributed systems: specifications, ACM SIGOPS Operating Systems Review, v.31 n.2, p.11-22, April 1997
	Natalija Krivokapić , Alfons Kemper , Ehud Gudes, Deadlock detection in distributed database systems: a new algorithm and a comparative performance analysis, The VLDB Journal — The International Journal on Very Large Data Bases, v.8 n.2, p.79-100, October 1999
	Jun-Lin Lin , Margaret H. Dunham, A Survey of Distributed Database Checkpointing, Distributed and Parallel Databases, v.5 n.3, p.289-319, July 1997
	Taesoon Park , Heon Y. Yeom, A Low Overhead Logging Scheme for Fast Recovery in Distributed Shared Memory Systems, The Journal of Supercomputing, v.15 n.3, p.295-320, Mar.1.2000
	Jinsong Ouyang , Piyush Maheshwari, Supporting Cost-Effective Fault Tolerance in Distributed Message-Passing Applications with File Operations, The Journal of Supercomputing, v.14 n.3, p.207-232, Dec.1.1999
	Paul Grefen , Jennifer Widom, Protocols for Integrity Constraint Checking in FederatedDatabases, Distributed and Parallel Databases, v.5 n.4, p.327-355, Oct. 1997
	Ahlem Ben Hassine , Tu Bao Ho , Takayuki Ito, Meetings scheduling solver enhancement with local consistency reinforcement, Applied Intelligence, v.24 n.2, p.143-154, April 2006
	Toshiharu Sugawara , Victor Lesser, Learning to Improve Coordinated Actions in Cooperative Distributed Problem-Solving Environments, Machine Learning, v.33 n.2-3, p.129-153, Nov./Dec. 1998
	Xiaohui Wei , Jiubin Ju, SFT: a consistent checkpointing algorithm with shorter freezing time, ACM SIGOPS Operating Systems Review, v.32 n.4, p.70-76, Oct. 1998
	B. Gupta , S. K. Banerjee, A Roll-Forward Recovery Scheme for Solving the Problem of Coasting Forward for Distributed Systems, ACM SIGOPS Operating Systems Review, v.35 n.3, p.55-66, July 1 2001
	Youssef Hamadi, Optimal Distributed Arc-Consistency, Constraints, v.7 n.3-4, p.367-385, July-October 2002
	Kalyan S. Perumalla, µsik " A Micro-Kernel for Parallel/Distributed Simulation Systems, Proceedings of the 19th Workshop on Principles of Advanced and Distributed Simulation, p.59-68, June 01-03, 2005
	Hector Garcia-Molina , Christos A. Polyzois , Robert B. Hagmann, Two Epoch Algorithms for Disaster Recovery, Proceedings of the 16th International Conference on Very Large Data Bases, p.222-230, August 13-16, 1990
	Gruia-Catalin Roman , Jamie Payton, A Termination Detection Protocol for Use in Mobile Ad Hoc Networks, Automated Software Engineering, v.12 n.1, p.81-99, January 2005
	Bouteiller Bouteiller , Franck Cappello , Thomas Herault , Krawezik Krawezik , Pierre Lemarinier , Magniette Magniette, MPICH-V2: a Fault Tolerant MPI for Volatile Nodes based on Pessimistic Sender Based Message Logging, Proceedings of the 2003 ACM/IEEE conference on Supercomputing, p.25, November 15-21, 2003
	Martin Schulz , Greg Bronevetsky , Rohit Fernandes , Daniel Marques , Keshav Pingali , Paul Stodghill, Implementation and Evaluation of a Scalable Application-Level Checkpoint-Recovery Scheme for MPI Programs, Proceedings of the 2004 ACM/IEEE conference on Supercomputing, p.38, November 06-12, 2004
	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
	Alan Demers , Dan Greene , Carl Houser , Wes Irish , John Larson , Scott Shenker , Howard Sturgis , Dan Swinehart , Doug Terry, Epidemic algorithms for replicated database maintenance, ACM SIGOPS Operating Systems Review, v.22 n.1, p.8-32, Jan., 1988
	A. L. Murphy , G.-C. Roman , G. Varghese, An Exercise in Formal Reasoning about Mobile Communications, Proceedings of the 9th international workshop on Software specification and design, p.25, April 16-18, 1998
	David B. Johnson , Willy Zwaenepoel, Transparent optimistic rollback recovery, ACM SIGOPS Operating Systems Review, v.25 n.2, p.99-102, April 1991
	Ahlem Ben Hassine , Xavier Defago , Tu Bao Ho, Agent-Based Approach to Dynamic Meeting Scheduling Problems, Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, p.1132-1139, July 19-23, 2004, New York, New York
	N. Plouzeau , M. Raynal, Elements for a course on the design of distributed algorithms, ACM SIGCSE Bulletin, v.24 n.2, p.35-40, June 1992
	Thomas Kunz , Marc Khouzam, Concurrent single stepping in event-visualization tools, Cluster Computing, v.3 n.3, p.231-243, 2000
	Özalp Babaoğlu, Fault-tolerant computing based on Mach, ACM SIGOPS Operating Systems Review, v.24 n.1, p.27-39, Jan. 1990
	John P. John , Ethan Katz-Bassett , Arvind Krishnamurthy , Thomas Anderson , Arun Venkataramani, Consensus routing: the internet as a distributed system, Proceedings of the 5th USENIX Symposium on Networked Systems Design and Implementation, p.351-364, April 16-18, 2008, San Francisco, California
	Ricardo Marcelin-Jimenez , Sergio Rajsbaum , Brett Stevens, Cyclic Storage for Fault-Tolerant Distributed Executions, IEEE Transactions on Parallel and Distributed Systems, v.17 n.9, p.1028-1036, September 2006
	Jichiang Tsai, An Efficient Index-Based Checkpointing Protocol with Constant-Size Control Information on Messages, IEEE Transactions on Dependable and Secure Computing, v.2 n.4, p.287-296, October 2005
	Adam J. Lee , Marianne Winslett, Enforcing Safety and Consistency Constraints in Policy-Based Authorization Systems, ACM Transactions on Information and System Security (TISSEC), v.12 n.2, p.1-33, December 2008
	Alper Tugay Mizrak , Yu-Chung Cheng , Keith Marzullo , Stefan Savage, Detecting and Isolating Malicious Routers, IEEE Transactions on Dependable and Secure Computing, v.3 n.3, p.230-244, July 2006
	Jinho Ahn, 2-step algorithm for enhancing effectiveness of sender-based message logging, Proceedings of the 2007 spring simulation multiconference, March 25-29, 2007, Norfolk, Virginia
	D. Manivannan , Q. Jiang , Jianchang Yang , M. Singhal, A quasi-synchronous checkpointing algorithm that prevents contention for stable storage, Information Sciences: an International Journal, v.178 n.15, p.3110-3117, August, 2008
	Heikki Kokkinen , Seamus Moloney, Towards distributed service provisioning, Proceedings of the 6th international conference on Mobile and ubiquitous multimedia, p.69-73, December 12-14, 2007, Oulu, Finland
	Adnan Agbaria , Roy Friedman, Model-based performance evaluation of distributed checkpointing protocols, Performance Evaluation, v.65 n.5, p.345-365, May, 2008
	Punit Chandra , Ajay D. Kshemkalyani, Data-stream-based global event monitoring using pairwise interactions, Journal of Parallel and Distributed Computing, v.68 n.6, p.729-751, June, 2008
	Yannis Smaragdakis , Anthony Kay , Reimer Behrends , Michal Young, Transactions with isolation and cooperation, ACM SIGPLAN Notices, v.42 n.10, October 2007
	Matteo Ceriotti , Amy L. Murphy , Gian Pietro Picco, Data sharing vs. message passing: synergy or incompatibility?: an implementation-driven case study, Proceedings of the 2008 ACM symposium on Applied computing, March 16-20, 2008, Fortaleza, Ceara, Brazil
	Michael De Rosa , Seth Goldstein , Peter Lee , Jason Campbell , Padmanabhan Pillai, Distributed Watchpoints: Debugging Large Modular Robot Systems, International Journal of Robotics Research, v.27 n.3-4, p.315-329, March 2008
	Neeraj Mittal , Felix C. Freiling , S. Venkatesan , Lucia Draque Penso, On termination detection in crash-prone distributed systems with failure detectors, Journal of Parallel and Distributed Computing, v.68 n.6, p.855-875, June, 2008
	Pierre Lemarinier , Aurelien Bouteiller , Geraud Krawezik , Franck Cappello, Coordinated checkpoint versus message log for fault tolerant MPI, International Journal of High Performance Computing and Networking, v.2 n.2-4, p.146-155, February 2004
	Lalit Kumar Awasthi , P. Kumar, A synchronous checkpointing protocol for mobile distributed systems: probabilistic approach, International Journal of Information and Computer Security, v.1 n.3, p.298-314, June 2007
	Jinho Ahn, Lightweight log management algorithm for removing logged messages of sender processes with little overhead, WSEAS Transactions on Computers, v.7 n.6, p.804-813, June 2008
	Alex Ho , Steven Hand , Tim Harris, PDB: Pervasive Debugging With Xen, Proceedings of the 5th IEEE/ACM International Workshop on Grid Computing, p.260-265, November 08-08, 2004
	Sriram Krishnan , Dennis Gannon, Checkpoint and Restart for Distributed Components in XCAT3, Proceedings of the 5th IEEE/ACM International Workshop on Grid Computing, p.281-288, November 08-08, 2004
	Susanne Graf , Andreas Prinz, Time in State Machines, Fundamenta Informaticae, v.77 n.1-2, p.143-174, January 2007
	Neeraj Mittal , Alper Sen , Vijay K. Garg, Solving Computation Slicing Using Predicate Detection, IEEE Transactions on Parallel and Distributed Systems, v.18 n.12, p.1700-1713, December 2007
	Ajay D. Kshemkalyani, Temporal Predicate Detection Using Synchronized Clocks, IEEE Transactions on Computers, v.56 n.11, p.1578-1584, November 2007
	Luca Allulli , Roberto Baldoni , Luigi Laura , Sara Tucci Piergiovanni, On the Complexity of Removing Z-Cycles from a Checkpoints and Communication Pattern, IEEE Transactions on Computers, v.56 n.6, p.853-858, June 2007
	Qiangfeng Jiang , Yi Luo , D. Manivannan, An optimistic checkpointing and message logging approach for consistent global checkpoint collection in distributed systems, Journal of Parallel and Distributed Computing, v.68 n.12, p.1575-1589, December, 2008
	D. Manivannan , Q. Jiang , Jianchang Yang , M. Singhal, A quasi-synchronous checkpointing algorithm that prevents contention for stable storage, Information Sciences: an International Journal, v.178 n.15, p.3109-3116, August, 2008
	Parveen Kumar, A low-cost hybrid coordinated checkpointing protocol for mobile distributed systems, Mobile Information Systems, v.4 n.1, p.13-32, January 2008
	Sharon Simmons , Dennis Edwards , Phil Kearns, Communication analysis of distributed programs, Scientific Programming, v.14 n.2, p.151-170, April 2006
	Alper Sen , Vijay K. Garg, Formal Verification of Simulation Traces Using Computation Slicing, IEEE Transactions on Computers, v.56 n.4, p.511-527, April 2007
	Ardalan Kangarlou , Dongyan Xu , Paul Ruth , Patrick Eugster, Taking snapshots of virtual networked environments, Proceedings of the 3rd international workshop on Virtualization technology in distributed computing, p.1-8, November 12-12, 2007, Reno, Nevada
	Ajay Kshemkalyani , Bin Wu, Detecting Arbitrary Stable Properties Using Efficient Snapshots, IEEE Transactions on Software Engineering, v.33 n.5, p.330-346, May 2007
	Baruch Awerbuch , Israel Cidon , Shay Kutten, Optimal maintenance of a spanning tree, Journal of the ACM (JACM), v.55 n.4, p.1-45, September 2008
	Steven Y. Ko , Indranil Gupta , Yookyung Jo, A new class of nature-inspired algorithms for self-adaptive peer-to-peer computing, ACM Transactions on Autonomous and Adaptive Systems (TAAS), v.3 n.3, p.1-34, August 2008
	Shlomi Dolev , Nir Tzachar, Empire of colonies: Self-stabilizing and self-organizing distributed algorithm, Theoretical Computer Science, v.410 n.6-7, p.514-532, February, 2009
	Ismel Brito , Amnon Meisels , Pedro Meseguer , Roie Zivan, Distributed constraint satisfaction with partially known constraints, Constraints, v.14 n.2, p.199-234, June 2009
	Anton Burtsev , Prashanth Radhakrishnan , Mike Hibler , Jay Lepreau, Transparent checkpoints of closed distributed systems in Emulab, Proceedings of the fourth ACM european conference on Computer systems, April 01-03, 2009, Nuremberg, Germany
	Andreas Haeberlen , Ioannis Avramopoulos , Jennifer Rexford , Peter Druschel, NetReview: detecting when interdomain routing goes wrong, Proceedings of the 6th USENIX symposium on Networked systems design and implementation, p.437-452, April 22-24, 2009, Boston, Massachusetts
	Maysam Yabandeh , Nikola Knezevic , Dejan Kostic , Viktor Kuncak, CrystalBall: predicting and preventing inconsistencies in deployed distributed systems, Proceedings of the 6th USENIX symposium on Networked systems design and implementation, p.229-244, April 22-24, 2009, Boston, Massachusetts
	Nicola Dragoni , Fabio Massacci , Ayda Saidane, A self-protecting and self-healing framework for negotiating services and trust in autonomic communication systems, Computer Networks: The International Journal of Computer and Telecommunications Networking, v.53 n.10, p.1628-1648, July, 2009
	Jozsef Kovacs, Transparent parallel checkpointing and migration in clusters and ClusterGrids, International Journal of Computational Science and Engineering, v.4 n.3, p.171-181, July 2009
	Yek Loong Chong , Youssef Hamadi, Distributed Log-based Reconciliation, Proceeding of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy, p.108-112, May 22, 2006
	Joshua Hursey , Timothy I. Mattox , Andrew Lumsdaine, Interconnect agnostic checkpoint/restart in open MPI, Proceedings of the 18th ACM international symposium on High performance distributed computing, June 11-13, 2009, Garching, Germany
	Long Vu , Indranil Gupta , Jin Liang , Klara Nahrstedt, Measurement and modeling of a large-scale overlay for multimedia streaming, The Fourth International Conference on Heterogeneous Networking for Quality, Reliability, Security and Robustness & Workshops, August 14-17, 2007, Vancouver, Canada
	Damien Imbs , José Ramon de Mendivil , Michel Raynal, Brief announcement: virtual world consistency: a new condition for STM systems, Proceedings of the 28th ACM symposium on Principles of distributed computing, August 10-12, 2009, Calgary, AB, Canada
	Saikat Mukherjee , Srinath Srinivasa , Krithi Ramamritham, An autonomous agent approach to query optimization in stream grids, Proceedings of the International Conference on Management of Emergent Digital EcoSystems, October 27-30, 2009, France
	B. Gupta , S. Rahimi, A novel low-overhead recovery approach for distributed systems, Journal of Computer Systems, Networks, and Communications, 2009, p.1-8, January 2009
	Fredrik Osterlind , Adam Dunkels , Zhitao He , Nicolas Tsiftes, Demo abstract: Sensornet checkpointing between simulated and deployed networks, Proceedings of the 2009 International Conference on Information Processing in Sensor Networks, p.411-412, April 13-16, 2009
	Franck Cappello, Fault Tolerance in Petascale/ Exascale Systems: Current Knowledge, Challenges and Research Opportunities, International Journal of High Performance Computing Applications, v.23 n.3, p.212-226, August 2009
	Franck Cappello , Al Geist , Bill Gropp , Laxmikant Kale , Bill Kramer , Marc Snir, Toward Exascale Resilience, International Journal of High Performance Computing Applications, v.23 n.4, p.374-388, November 2009
	Dong H. Ahn , Bronis R. de Supinski , Ignacio Laguna , Gregory L. Lee , Ben Liblit , Barton P. Miller , Martin Schulz, Scalable temporal order analysis for large scale debugging, Proceedings of the Conference on High Performance Computing Networking, Storage and Analysis, November 14-20, 2009, Portland, Oregon
	Christian Bessière , Arnold Maestre , Ismel Brito , Pedro Meseguer, Asynchronous backtracking without adding links: a new member in the ABT family, Artificial Intelligence, v.161 n.1-2, p.7-24, January 2005
	Marius-Călin Silaghi , Boi Faltings, Asynchronous aggregation and consistency in distributed constraint satisfaction, Artificial Intelligence, v.161 n.1-2, p.25-53, January 2005
	Peter Niebert , Doron Peled, Efficient model checking for LTL with partial order snapshots, Theoretical Computer Science, v.410 n.42, p.4180-4189, September, 2009
	Tamim Sookoor , Timothy Hnat , Pieter Hooimeijer , Westley Weimer , Kamin Whitehouse, Macrodebugging: global views of distributed program execution, Proceedings of the 7th ACM Conference on Embedded Networked Sensor Systems, November 04-06, 2009, Berkeley, California