ACM Portal
  Subscribe (Full Service)    Register (Limited Service, Free)    Login
  Search:   The ACM Digital Library   The Guide
  
ACM Home Page
Please provide us with feedback. Feedback
Digital Library logoTake a look at the new version of this page: [ beta version ]. Tell us what you think.
Impossibility of distributed consensus with one faulty process
Full text PdfPdf (726 KB)
Source Journal of the ACM (JACM) archive
Volume 32 ,  Issue 2  (April 1985) table of contents
Pages: 374 - 382  
Year of Publication: 1985
ISSN:0004-5411
Authors
Michael J. Fischer  Department of Computer Science, Yale University, P.O. Box 2158, Yale Station, New Haven, CT
Nancy A. Lynch  Laboratory for Computer Science, Massachusetts Institute of Technology, 545 Technology Square, Cambridge, MA
Michael S. Paterson  Department of Computer Science, University of Warwick, Coventry CV4 7AL, England
Publisher
ACM  New York, NY, USA
Bibliometrics
Downloads (6 Weeks): 117,   Downloads (12 Months): 695,   Citation Count: 468
Additional Information:

abstract   references   cited by   index terms   collaborative colleagues  

Tools and Actions: Request Permissions Request Permissions    Review this Article  
DOI Bookmark: Use this link to bookmark this Article: http://doi.acm.org/10.1145/3149.214121
What is a DOI?

ABSTRACT

The consensus problem involves an asynchronous system of processes, some of which may be unreliable. The problem is for the reliable processes to agree on a binary value. In this paper, it is shown that every protocol for this problem has the possibility of nontermination, even with only one faulty process. By way of contrast, solutions are known for the synchronous case, the “Byzantine Generals” problem.


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
Chagit Attiya , Danny Dolev , Joseph Gil, Asynchronous Byzantine consensus, Proceedings of the third annual ACM symposium on Principles of distributed computing, p.119-133, August 27-29, 1984, Vancouver, British Columbia, Canada  [doi>10.1145/800222.806740]
2
Michael Ben-Or, Another advantage of free choice (Extended Abstract): Completely asynchronous agreement protocols, Proceedings of the second annual ACM symposium on Principles of distributed computing, p.27-30, August 17-19, 1983, Montreal, Quebec, Canada  [doi>10.1145/800221.806707]
3
Gabriel Bracha, An asynchronous [(n - 1)/3]-resilient consensus protocol, Proceedings of the third annual ACM symposium on Principles of distributed computing, p.154-162, August 27-29, 1984, Vancouver, British Columbia, Canada  [doi>10.1145/800222.806743]
4
Gabriel Bracha , Sam Toueg, Resilient consensus protocols, Proceedings of the second annual ACM symposium on Principles of distributed computing, p.12-26, August 17-19, 1983, Montreal, Quebec, Canada  [doi>10.1145/800221.806706]
5
Richard A. DeMillo , Nancy A. Lynch , Michael J. Merritt, Cryptographic protocols, Proceedings of the fourteenth annual ACM symposium on Theory of computing, p.383-400, May 05-07, 1982, San Francisco, California, United States  [doi>10.1145/800070.802214]
 
6
DOLEV, D., AND STRONG, H. R.Distributed commit with bounded waiting. In Proceedings of the 2nd Annual IEEE Symposium on Reliability in Distributed Software and Database Systems. IEEE, New York, 1982, pp. 53-60.
7
Danny Dolev , H. Raymond Strong, Polynomial algorithms for multiple processor agreement, Proceedings of the fourteenth annual ACM symposium on Theory of computing, p.401-407, May 05-07, 1982, San Francisco, California, United States  [doi>10.1145/800070.802215]
 
8
DOLEV, D., FISCHER, M., FOWLER, R., LYNCH, N., AND STRONG, H. R.An efficient algorithm for Byzantine agreement without authentication. Inf. Control 52, 3 (1983), 257-274.
 
9
DOLEV, D., LYNCH, N., PINTER, S., STARK, E., AND WEIHL, W.Reaching approximate agreement in the presence of faults. In Proceedings of the 3rd Annual IEEE Symposium on Reliability in Distributed Software and Database Systems. IEEE, New York, 1983, pp. 145-154.
 
10
DWORK, C., LYNCH, N., AND STOCKMEYER, L.Consensus in the presence of partial synchrony. In Proceedings of the 3rd Annual ACM Symposium on Principles of Distributed Computing (Vancouver, B.C., Canada, Aug. 27-29). ACM, New York, 1984, pp. 103-118.
 
11
FISCHER, M., AND LYNCH. N.A lower bound for the time to assure interactive consistency. Inf. Proc. Lett. 14, 4 (1982), 183-186.
12
Michael J. Fischer , Nancy A. Lynch , Michael S. Paterson, Impossibility of distributed consensus with one faulty process, Proceedings of the 2nd ACM SIGACT-SIGMOD symposium on Principles of database systems, March 21-23, 1983, Atlanta, Georgia  [doi>10.1145/588058.588060]
 
13
GARCIA-MOLINA, H.Elections in a distributed computing system. IEEE Trans. Comput. C-31, 1 (1982), 48-59.
14
Leslie Lamport , Robert Shostak , Marshall Pease, The Byzantine Generals Problem, ACM Transactions on Programming Languages and Systems (TOPLAS), v.4 n.3, p.382-401, July 1982  [doi>10.1145/357172.357176]
 
15
LAMPSON, B.Replicated Commit. CSL Notebook Entry, Xerox Palo Alto Research Center, Palo Alto, Calif., 1981.
 
16
LAMPSON, B., AND STURGIS, H.Crash recovery in a distributed data storage system. Manuscript, Xerox Palo Alto Research Center, Palo Alto, Calif., 1979.
 
17
LINDSAY, B. G., SELINGER, P. G., GALTIERI, C., GRAY, J. N., LORIE, R. A., PRICE, T. G., PUTZOLU, F., TRAIGER, I. L., AND WADE, B.W. Notes on distributed databases. IBM Res. Rep. RJ2571, IBM Research Division, San Jose, Calif., 1979.
 
18
LYNCH, N., FISCHER, M., AND FOWLER, R. A simple and efficient Byzantine Generals algorithm. In Proceedings of the 2nd Annual IEEE Symposium on Reliability in Distributed Software and Database Systems. IEEE, New York, 1982, pp. 46-52.
19
M. Pease , R. Shostak , L. Lamport, Reaching Agreement in the Presence of Faults, Journal of the ACM (JACM), v.27 n.2, p.228-234, April 1980  [doi>10.1145/322186.322188]
 
20
RABIN, M.Randomized Byzantine Generals. In Proceedings of the 24th Annual IEEE Symposium on Foundations of Computer Science. IEEE, New York, 1983, pp. 403-409.
 
21
D. P. Reed, NAMING AND SYNCHRONIZATION IN A DECENTRALIZED COMPUTER SYSTEM, Massachusetts Institute of Technology, Cambridge, MA, 1978
22
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]
 
23
SKEEN, D.A decentralized termination protocol. In Proceedings of the 2nd Annual IEEE Symposium on Reliability in Distributed Software and Database Systems. IEEE, New York, 1982, pp. 27-32.
 
24
SKEEN, D., AND STONEBRAKER, M.A formal model of crash recovery in a distributed system. IEEE Trans. Sofiw. Engineering SE-9, 3 (May 1983), 219-228.
25
Sam Toueg, Randomized Byzantine Agreements, Proceedings of the third annual ACM symposium on Principles of distributed computing, p.163-178, August 27-29, 1984, Vancouver, British Columbia, Canada  [doi>10.1145/800222.806744]

CITED BY  468
Soma Chaudhuri , Maurice Erlihy , Nancy A. Lynch , Mark R. Tuttle, Tight bounds for k-set agreement, Journal of the ACM (JACM), v.47 n.5, p.912-943, Sept. 2000
Kim Potter Kihlstrom , L. E. Moser , P. M. Melliar-Smith, The SecureRing group communication system, ACM Transactions on Information and System Security (TISSEC), v.4 n.4, p.371-406, November 2001
James Aspnes, Time-and space-efficient randomized consensus, Proceedings of the ninth annual ACM symposium on Principles of distributed computing, p.325-331, August 22-24, 1990, Quebec City, Quebec, Canada
Alon Amit , Nathan Linial , Jiří Matoušek , Eyal Rozenman, Random lifts of graphs, Proceedings of the twelfth annual ACM-SIAM symposium on Discrete algorithms, p.883-894, January 07-09, 2001, Washington, D.C., United States
Felix C. Gärtner, Fundamentals of fault-tolerant distributed computing in asynchronous environments, ACM Computing Surveys (CSUR), v.31 n.1, p.1-26, March 1999
Rajiv Gupta , Scott A. Smolka , Shaji Bhaskar, On randomization in sequential and distributed algorithms, ACM Computing Surveys (CSUR), v.26 n.1, p.7-86, March 1994
Maurice Herlihy , Sergio Rajsbaum, The decidability of distributed decision tasks (extended abstract), Proceedings of the twenty-ninth annual ACM symposium on Theory of computing, p.589-598, May 04-06, 1997, El Paso, Texas, United States
Gil Neiger, Failure detectors and the wait-free hierarchy (extended abstract), Proceedings of the fourteenth annual ACM symposium on Principles of distributed computing, p.100-109, August 20-23, 1995, Ottowa, Ontario, Canada
Prasad Jayanti , Tushar Deepak Chandra , Sam Toueg, Fault-tolerant wait-free shared objects, Journal of the ACM (JACM), v.45 n.3, p.451-500, May 1998
Miguel Castro , Barbara Liskov, Practical Byzantine fault tolerance, Proceedings of the third symposium on Operating systems design and implementation, p.173-186, February 1999, New Orleans, Louisiana, United States
Michel Raynal , Mukesh Singhal, Mastering Agreement Problems in Distributed Systems, IEEE Software, v.18 n.4, p.40-47, July 2001
James Aspnes, Lower bounds for distributed coin-flipping and randomized consensus, Journal of the ACM (JACM), v.45 n.3, p.415-450, May 1998
Gil Neiger , Sam Toueg, Automatically increasing the fault-tolerance of distributed systems, Proceedings of the seventh annual ACM Symposium on Principles of distributed computing, p.248-262, August 15-17, 1988, Toronto, Ontario, Canada
Ajei Gopal , Ray Strong , Sam Toueg , Flaviu Cristian, Early-delivery atomic broadcast, Proceedings of the ninth annual ACM symposium on Principles of distributed computing, p.297-309, August 22-24, 1990, Quebec City, Quebec, Canada
Guillermo A. Alvarez , Flaviu Cristian, Simulation-based Testing of Communication Protocols for Dependable Embedded Systems, The Journal of Supercomputing, v.16 n.1-2, p.93-116, May 2000
Achour Mostefaoui , Sergio Rajsbaum , Michel Raynal , Matthieu Roy, A hierarchy of conditions for consensus solvability, Proceedings of the twentieth annual ACM symposium on Principles of distributed computing, p.151-160, August 2001, Newport, Rhode Island, United States
Z. M. Kedem , K. V. Palem , M. O. Rabin , A. Raghunathan, Efficient program transformations for resilient parallel computation via randomization (preliminary version), Proceedings of the twenty-fourth annual ACM symposium on Theory of computing, p.306-317, May 04-06, 1992, Victoria, British Columbia, Canada
Hagit Attiya , Cynthia Dwork , Nancy Lynch , Larry Stockmeyer, Bounds on the time to reach agreement in the presence of timing uncertainty, Journal of the ACM (JACM), v.41 n.1, p.122-152, Jan. 1994
Benny Chor , Michael Merritt , David B. Shmoys, Simple constant-time consensus protocols in realistic failure models, Journal of the ACM (JACM), v.36 n.3, p.591-614, July 1989
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
Wai-Kau Lo, More on t-resilience vs. wait-freedom (extended abstract), Proceedings of the fourteenth annual ACM symposium on Principles of distributed computing, p.110-119, August 20-23, 1995, Ottowa, Ontario, Canada
Jean-François Hermant , Gérard Le Lann, Fast Asynchronous Uniform Consensus in Real-Time Distributed Systems, IEEE Transactions on Computers, v.51 n.8, p.931-944, August 2002
Paul LeMahieu , Johoshua Bruck, A consistent history link connectivity protocol, Proceedings of the seventeenth annual ACM symposium on Principles of distributed computing, p.309, June 28-July 02, 1998, Puerto Vallarta, Mexico
André Schiper , Michel Raynal, From group communication to transactions in distributed systems, Communications of the ACM, v.39 n.4, p.84-87, April 1996
Paul Feldman , Silvio Micali, Optimal algorithms for Byzantine agreement, Proceedings of the twentieth annual ACM symposium on Theory of computing, p.148-161, May 02-04, 1988, Chicago, Illinois, United States
C. S. Hsieh , R. A. Mata, Decentralized mutual exclusion in the presence of link failures, Proceedings of the 17th conference on ACM Annual Computer Science Conference, p.195-203, February 21-23, 1989, Louisville, Kentucky
Joseph Halpern , Vardi, Reasoning about knowledge and time in asynchronous systems, Proceedings of the twentieth annual ACM symposium on Theory of computing, p.53-65, May 02-04, 1988, Chicago, Illinois, United States
Aleta M. Ricciardi , Kenneth P. Birman, Using process groups to implement failure detection in asynchronous environments, Proceedings of the tenth annual ACM symposium on Principles of distributed computing, p.341-353, August 19-21, 1991, Montreal, Quebec, Canada
Tushar Deepak Chandra , Sam Toueg, Unreliable failure detectors for reliable distributed systems, Journal of the ACM (JACM), v.43 n.2, p.225-267, March 1996
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
Wai-Kau Lo , Vassos Hadzilacos, All of us are smarter than any of us: wait-free hierarchies are not robust, Proceedings of the twenty-ninth annual ACM symposium on Theory of computing, p.579-588, May 04-06, 1997, El Paso, Texas, United States
Alain Mayer , Moti Yung, Secure protocol transformation via “expansion”: from two-party to groups, Proceedings of the 6th ACM conference on Computer and communications security, p.83-92, November 01-04, 1999, Kent Ridge Digital Labs, Singapore
R. L. Graham , A. C. Yao, On the improbability of reaching Byzantine agreements, Proceedings of the twenty-first annual ACM symposium on Theory of computing, p.467-478, May 14-17, 1989, Seattle, Washington, United States
Maurice Herlihy , Nir Shavit, The asynchronous computability theorem for t-resilient tasks, Proceedings of the twenty-fifth annual ACM symposium on Theory of computing, p.111-120, May 16-18, 1993, San Diego, California, United States
Idit Keidar , Danny Dolev, Efficient message ordering in dynamic networks, Proceedings of the fifteenth annual ACM symposium on Principles of distributed computing, p.68-76, May 23-26, 1996, Philadelphia, Pennsylvania, United States
Soma Chaudhuri, Agreement is harder than consensus: set consensus problems in totally asynchronous systems, Proceedings of the ninth annual ACM symposium on Principles of distributed computing, p.311-324, August 22-24, 1990, Quebec City, Quebec, Canada
H. Attiya , D. Dolev , N. Shavit, Bounded polynomial randomized consensus, Proceedings of the eighth annual ACM Symposium on Principles of distributed computing, p.281-293, June 1989, Edmonton, Alberta, Canada
Aleta M. Ricciardi , Kenneth Birman, A formalism for fault-tolerant applications in asynchronous systems, Proceedings of the 4th workshop on ACM SIGOPS European workshop, p.1-5, September 03-05, 1990, Bologna, Italy
Maurice Herlihy , Nir Shavit, The topological structure of asynchronous computability, Journal of the ACM (JACM), v.46 n.6, p.858-923, Nov. 1999
Benny Chor , Lee-Bath Nelson, Resilience of general interactive tasks, Proceedings of the thirteenth annual ACM symposium on Principles of distributed computing, p.173-182, August 14-17, 1994, Los Angeles, California, United States
Ran Canetti , Tal Rabin, Fast asynchronous Byzantine agreement with optimal resilience, Proceedings of the twenty-fifth annual ACM symposium on Theory of computing, p.42-51, May 16-18, 1993, San Diego, California, United States
James H. Anderson , Mark Moir, Wait-free synchronization in multiprogrammed systems: integrating priority-based and quantum-based scheduling, Proceedings of the eighteenth annual ACM symposium on Principles of distributed computing, p.123-132, May 04-06, 1999, Atlanta, Georgia, United States
Eyal Kushilevitz , Yishay Mansour , Michael O. Rabin , David Zuckerman, Lower bounds for randomized mutual exclusion, Proceedings of the twenty-fifth annual ACM symposium on Theory of computing, p.154-163, May 16-18, 1993, San Diego, California, United States
M. Herlihy, A methodology for implementing highly concurrent data structures, ACM SIGPLAN Notices, v.25 n.3, p.197-206, Mar. 1990
P. C. Kanellakis , A. A. Shvartsman, Efficient parallel algorithms can be made robust, Proceedings of the eighth annual ACM Symposium on Principles of distributed computing, p.211-219, June 1989, Edmonton, Alberta, Canada
Om. P. Damani , Vijay K. Garg, Fault-tolerant distributed simulation, ACM SIGSIM Simulation Digest, v.28 n.1, p.38-45, July 1998
Maurice Herlihy, A methodology for implementing highly concurrent data objects, ACM Transactions on Programming Languages and Systems (TOPLAS), v.15 n.5, p.745-770, Nov. 1993
Ofer Biran , Shlomo Moran , Shmuel Zaks, A combinatorial characterization of the distributed tasks which are solvable in the presence of one faulty processor, Proceedings of the seventh annual ACM Symposium on Principles of distributed computing, p.263-275, August 15-17, 1988, Toronto, Ontario, Canada
Michael Ben-Or , Ran Canetti , Oded Goldreich, Asynchronous secure computation, Proceedings of the twenty-fifth annual ACM symposium on Theory of computing, p.52-61, May 16-18, 1993, San Diego, California, United States
Tushar Deepak Chandra , Sam Toueg, Unreliable failure detectors for asynchronous systems (preliminary version), Proceedings of the tenth annual ACM symposium on Principles of distributed computing, p.325-340, August 19-21, 1991, Montreal, Quebec, Canada
K. V. S. Ramarao, Commitment in a partitioned distributed database, ACM SIGMOD Record, v.17 n.3, p.371-378, June 1988
Ajei S. Gopal , Kenneth J. Perry, Unifying self-stabilization and fault-tolerance, Proceedings of the twelfth annual ACM symposium on Principles of distributed computing, p.195-206, August 15-18, 1993, Ithaca, New York, United States
J. Nehmer , T. Becker, A fault tolerance approach for distributed ISDN control systems, Proceedings of the 4th workshop on ACM SIGOPS European workshop, p.1-4, September 03-05, 1990, Bologna, Italy
Tushar Deepak Chandra , Vassos Hadzilacos , Sam Toueg, The weakest failure detector for solving consensus, Journal of the ACM (JACM), v.43 n.4, p.685-722, July 1996
Maurice Herlihy , Sergio Rajsbaum, Set consensus using arbitrary objects (preliminary version), Proceedings of the thirteenth annual ACM symposium on Principles of distributed computing, p.324-333, August 14-17, 1994, Los Angeles, California, United States
Gregory Chockler , Dahlia Malkhi, Active disk paxos with infinitely many processes, Proceedings of the twenty-first annual symposium on Principles of distributed computing, July 21-24, 2002, Monterey, California
Fred B. Schneider, Implementing fault-tolerant services using the state machine approach: a tutorial, ACM Computing Surveys (CSUR), v.22 n.4, p.299-319, Dec. 1990
Hagit Brit , Shlomo Moran, Wait-freedom vs. bounded wait-freedom in public data structures (extended abstract), Proceedings of the thirteenth annual ACM symposium on Principles of distributed computing, p.52-60, August 14-17, 1994, Los Angeles, California, United States
Tushar Deepak Chandra , Vassos Hadzilacos , Sam Toueg, The weakest failure detector for solving consensus, Proceedings of the eleventh annual ACM symposium on Principles of distributed computing, p.147-158, August 10-12, 1992, Vancouver, British Columbia, Canada
J. E. Burns , G. L. Peterson, The ambiguity of choosing, Proceedings of the eighth annual ACM Symposium on Principles of distributed computing, p.145-157, June 1989, Edmonton, Alberta, Canada
Harry Buhrman , Matthew Franklin , Juan A. Garay , Jaap-Henk Hoepman , John Tromp , Paul Vitányi, Mutual search, Journal of the ACM (JACM), v.46 n.4, p.517-536, July 1999
Danny Dolev , Nancy A. Lynch , Shlomit S. Pinter , Eugene W. Stark , William E. Weihl, Reaching approximate agreement in the presence of faults, Journal of the ACM (JACM), v.33 n.3, p.499-516, July 1986
Yehuda Afek , Gideon Stupp, Delimiting the power of bounded size synchronization objects (extended abstract), Proceedings of the thirteenth annual ACM symposium on Principles of distributed computing, p.42-51, August 14-17, 1994, Los Angeles, California, United States
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
Fabrice Le Fessant, Detecting distributed cycles of garbage in large-scale systems, Proceedings of the twentieth annual ACM symposium on Principles of distributed computing, p.200-209, August 2001, Newport, Rhode Island, United States
Michael Saks , Nir Shavit , Heather Woll, Optimal time randomized consensus—making resilient algorithms fast in practice, Proceedings of the second annual ACM-SIAM symposium on Discrete algorithms, p.351-362, January 28-30, 1991, San Francisco, California, United States
Michael Saks , Nir Shavit , Heather Woll, Optimal time randomized consensus—making resilient algorithms fast in practice, Proceedings of the second annual ACM-SIAM symposium on Discrete algorithms, p.351-362, January 28-30, 1991, San Francisco, 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
Michael Saks , Fotios Zaharoglou, Wait-free k-set agreement is impossible: the topology of public knowledge, Proceedings of the twenty-fifth annual ACM symposium on Theory of computing, p.101-110, May 16-18, 1993, San Diego, California, United States
Gabriel Bracha , Sam Toueg, Asynchronous consensus and broadcast protocols, Journal of the ACM (JACM), v.32 n.4, p.824-840, Oct. 1985
Maurice Herlihy, Wait-free synchronization, ACM Transactions on Programming Languages and Systems (TOPLAS), v.13 n.1, p.124-149, Jan. 1991
Louise E. Moser , P. M. Melliar-Smith , Vivek Agrawala, Total ordering algorithms, Proceedings of the 19th annual conference on Computer Science, p.375-380, April 1991, San Antonio, Texas, United States
Paulo E. Veríssimo, Travelling through wormholes: a new look at distributed systems models, ACM SIGACT News, v.37 n.1, March 2006
Achour Mostéfaoui , Michel Raynal, k-set agreement with limited accuracy failure detectors, Proceedings of the nineteenth annual ACM symposium on Principles of distributed computing, p.143-152, July 16-19, 2000, Portland, Oregon, United States
Yehuda Afek , David S. Greenberg , Michael Merritt , Gadi Taubenfeld, Computing with faulty shared objects, Journal of the ACM (JACM), v.42 n.6, p.1231-1274, Nov. 1995
Danny Dolev , Cynthia Dwork , Larry Stockmeyer, On the minimal synchronism needed for distributed consensus, Journal of the ACM (JACM), v.34 n.1, p.77-97, Jan. 1987
Gunnar Hoest , Nir Shavit, Towards a topological characterization of asynchronous complexity, Proceedings of the sixteenth annual ACM symposium on Principles of distributed computing, p.199-208, August 21-24, 1997, Santa Barbara, California, United States
Christof Fetzer , Flaviu Cristian, Fail-awareness in timed asynchronous systems, Proceedings of the fifteenth annual ACM symposium on Principles of distributed computing, p.314-321, May 23-26, 1996, Philadelphia, Pennsylvania, United States
Indranil Gupta , Tushar D. Chandra , Germán S. Goldszmidt, On scalable and efficient distributed failure detectors, Proceedings of the twentieth annual ACM symposium on Principles of distributed computing, p.170-179, August 2001, Newport, Rhode Island, United States
M. J. Fischer , S. Moran , R. Rudich , G. Taubenfeld, The wakeup problem, Proceedings of the twenty-second annual ACM symposium on Theory of computing, p.106-116, May 13-17, 1990, Baltimore, Maryland, United States
Elizabeth Borowsky , Eli Gafni, A simple algorithmically reasoned characterization of wait-free computation (extended abstract), Proceedings of the sixteenth annual ACM symposium on Principles of distributed computing, p.189-198, August 21-24, 1997, Santa Barbara, California, United States
Elizabeth Borowsky , Eli Gafni, Generalized FLP impossibility result for t-resilient asynchronous computations, Proceedings of the twenty-fifth annual ACM symposium on Theory of computing, p.91-100, May 16-18, 1993, San Diego, California, United States
Werner Vogels, World wide failures, Proceedings of the 7th workshop on ACM SIGOPS European workshop: Systems support for worldwide applications, September 09-11, 1996, Connemara, Ireland
Leslie Lamport, The part-time parliament, ACM Transactions on Computer Systems (TOCS), v.16 n.2, p.133-169, May 1998
Elena Pagani, Providing reliable and fault tolerant broadcast delivery in mobile ad-hoc networks, Mobile Networks and Applications, v.4 n.3, p.175-192, Oct 1999
Michael Merritt , Gadi Taubenfeld, Knowledge in shared memory systems (preliminary version), Proceedings of the tenth annual ACM symposium on Principles of distributed computing, p.189-200, August 19-21, 1991, Montreal, Quebec, Canada
Jon Kleinberg , Sendhil Mullainathan, Resource bounds and combinations of consensus objects, Proceedings of the twelfth annual ACM symposium on Principles of distributed computing, p.133-143, August 15-18, 1993, Ithaca, New York, United States
Louise E. Moser , P. M. Melliar-Smith , Vivek Agrawala, Necessary and sufficient conditions for broadcast consensus protocols, Distributed Computing, v.7 n.2, p.75-85, December 1993
Yoram Moses , Sergio Rajsbaum, The unified structure of consensus: a layered analysis approach, Proceedings of the seventeenth annual ACM symposium on Principles of distributed computing, p.123-132, June 28-July 02, 1998, Puerto Vallarta, Mexico
Robbert van Renesse , Kenneth P. Birman , Roy Friedman , Mark Hayden , David A. Karr, A framework for protocol composition in Horus, Proceedings of the fourteenth annual ACM symposium on Principles of distributed computing, p.80-89, August 20-23, 1995, Ottowa, Ontario, Canada
Gail E. Kaiser , Simon M. Kaplan, Parallel and distributed incremental attribute evaluation algorithms for multiuser software development environments, ACM Transactions on Software Engineering and Methodology (TOSEM), v.2 n.1, p.47-92, Jan. 1993
R. Chadha , M. Kanovich , A. Scedrov, Inductive methods and contract-signing protocols, Proceedings of the 8th ACM conference on Computer and Communications Security, November 05-08, 2001, Philadelphia, PA, USA
Hagit Attiya , Nancy Lynch , Nir Shavit, Are wait-free algorithms fast?, Journal of the ACM (JACM), v.41 n.4, p.725-763, July 1994
Michael Barborak , Anton Dahbura , Minoslaw Malek, The consensus problem in fault-tolerant computing, ACM Computing Surveys (CSUR), v.25 n.2, p.171-220, June 1993
K. Mani Chandy , Jayadev Misra, How processes learn, Proceedings of the fourth annual ACM symposium on Principles of distributed computing, p.204-214, August 1985, Minaki, Ontario, Canada
Cynthia Dwork , Nancy Lynch , Larry Stockmeyer, Consensus in the presence of partial synchrony, Journal of the ACM (JACM), v.35 n.2, p.288-323, April 1988
Maurice P. Herlihy, Impossibility and universality results for wait-free synchronization, Proceedings of the seventh annual ACM Symposium on Principles of distributed computing, p.276-290, August 15-17, 1988, Toronto, Ontario, Canada
N. Stankovic , K. Zhang, A Distributed Parallel Programming Framework, IEEE Transactions on Software Engineering, v.28 n.5, p.478-493, May 2002
Achour Mostefaoui , Michel Raynal, Randomized k-set agreement, Proceedings of the thirteenth annual ACM symposium on Parallel algorithms and architectures, p.291-297, July 2001, Crete Island, Greece
Wai-Kau Lo , Vassos Hadziolacos, On the power of shared object types to implement one-resilient Consensus, Proceedings of the sixteenth annual ACM symposium on Principles of distributed computing, p.101-110, August 21-24, 1997, Santa Barbara, California, United States
Rida Bazzi , Gil Neiger, The possibility and the complexity of achieving fault-tolerant coordination, Proceedings of the eleventh annual ACM symposium on Principles of distributed computing, p.203-214, August 10-12, 1992, Vancouver, British Columbia, Canada
Eric Ruppert, Consensus numbers of multi-objects, Proceedings of the seventeenth annual ACM symposium on Principles of distributed computing, p.211-217, June 28-July 02, 1998, Puerto Vallarta, Mexico
Yonatan Aumann , Avivit Kapah-Levy, Cooperative sharing and asynchronous consensus using single-reader single-writer registers, Proceedings of the tenth annual ACM-SIAM symposium on Discrete algorithms, p.61-70, January 17-19, 1999, Baltimore, Maryland, United States
Hagit Attiya , Amotz Bar-Noy , Danny Dolev, Sharing memory robustly in message-passing systems, Journal of the ACM (JACM), v.42 n.1, p.124-142, Jan. 1995
Eric Ruppert, Determining consensus numbers, Proceedings of the sixteenth annual ACM symposium on Principles of distributed computing, p.93-99, August 21-24, 1997, Santa Barbara, California, United States
James Aspnes, Fast deterministic consensus in a noisy environment, Proceedings of the nineteenth annual ACM symposium on Principles of distributed computing, p.299-308, July 16-19, 2000, Portland, Oregon, United States
Hagit Attiya , Amotz Bar-Noy , Danny Dolev, Sharing memory robustly in message-passing systems, Proceedings of the ninth annual ACM symposium on Principles of distributed computing, p.363-375, August 22-24, 1990, Quebec City, Quebec, Canada
Stephen Ponzio, Consensus in the presence of timing uncertainty: omission and Byzantine failures (extended abstract), Proceedings of the tenth annual ACM symposium on Principles of distributed computing, p.125-138, August 19-21, 1991, Montreal, Quebec, Canada
Jiong Yang , Gil Neiger , Eli Gafni, Structured derivations of consensus algorithms for failure detectors, Proceedings of the seventeenth annual ACM symposium on Principles of distributed computing, p.297-306, June 28-July 02, 1998, Puerto Vallarta, Mexico
John D. Valois, Lock-free linked lists using compare-and-swap, Proceedings of the fourteenth annual ACM symposium on Principles of distributed computing, p.214-222, August 20-23, 1995, Ottowa, Ontario, Canada
J. Aspnes , M. Herlihy, Wait-free data structures in the asynchronous PRAM model, Proceedings of the second annual ACM symposium on Parallel algorithms and architectures, p.340-349, July 02-06, 1990, Island of Crete, Greece
Maurice Herlihy, Impossibility results for asynchronous PRAM (extended abstract), Proceedings of the third annual ACM symposium on Parallel algorithms and architectures, p.327-336, July 21-24, 1991, Hilton Head, South Carolina, United States
Ziv Bar-Joseph , Michael Ben-Or, A tight lower bound for randomized synchronous consensus, Proceedings of the seventeenth annual ACM symposium on Principles of distributed computing, p.193-199, June 28-July 02, 1998, Puerto Vallarta, Mexico
Jehoshua Bruck , Danny Dolev , Ching-Tien Ho , Marcel-Cătălin Roşu , Ray Strong, Efficient message passing interface (MPI) for parallel computing on clusters of workstations, Proceedings of the seventh annual ACM symposium on Parallel algorithms and architectures, p.64-73, June 24-26, 1995, Santa Barbara, California, United States
Yehuda Afek , Michael Merritt , Gadi Taubenfeld, The power of multi-objects (extended abstract), Proceedings of the fifteenth annual ACM symposium on Principles of distributed computing, p.213-222, May 23-26, 1996, Philadelphia, Pennsylvania, United States
Eli Gafni, Round-by-round fault detectors (extended abstract): unifying synchrony and asynchrony, Proceedings of the seventeenth annual ACM symposium on Principles of distributed computing, p.143-152, June 28-July 02, 1998, Puerto Vallarta, Mexico
Rachid Guerraoui, Indulgent algorithms (preliminary version), Proceedings of the nineteenth annual ACM symposium on Principles of distributed computing, p.289-297, July 16-19, 2000, Portland, Oregon, United States
Saleh E. Abdullahi , Graem A. Ringwood, Garbage collecting the Internet: a survey of distributed garbage collection, ACM Computing Surveys (CSUR), v.30 n.3, p.330-373, Sept. 1998
Nina T. Bhatti , Matti A. Hiltunen , Richard D. Schlichting , Wanda Chiu, Coyote: a system for constructing fine-grain configurable communication services, ACM Transactions on Computer Systems (TOCS), v.16 n.4, p.321-366, Nov. 1998
Özalp Babaoğlu , André Schiper, On group communication in large-scale distributed systems, Proceedings of the 6th workshop on ACM SIGOPS European workshop: Matching operating systems to application needs, September 12-14, 1994, Wadern, Germany
Rajeev Alur , Hagit Attiya , Gadi Taubenfeld, Time-adaptive algorithms for synchronization, Proceedings of the twenty-sixth annual ACM symposium on Theory of computing, p.800-809, May 23-25, 1994, Montreal, Quebec, Canada
James Aspnes, Lower bounds for distributed coin-flipping and randomized consensus, Proceedings of the twenty-ninth annual ACM symposium on Theory of computing, p.559-568, May 04-06, 1997, El Paso, Texas, United States
Davide Balzarotti , Carlo Ghezzi , Mattia Monga, Supporting configuration management for virtual workgroups in a peer-to-peer setting, Proceedings of the 14th international conference on Software engineering and knowledge engineering, July 15-19, 2002, Ischia, Italy
Christian Cachin , Klaus Kursawe , Victor Shoup, Random oracles in constantipole: practical asynchronous Byzantine agreement using cryptography (extended abstract), Proceedings of the nineteenth annual ACM symposium on Principles of distributed computing, p.123-132, July 16-19, 2000, Portland, Oregon, United States
A. D. Fekete, Asynchronous approximate agreement, Proceedings of the sixth annual ACM Symposium on Principles of distributed computing, p.64-76, August 10-12, 1987, Vancouver, British Columbia, Canada
Brian Coan , Jennifer Lundelius, Transaction commit in a realistic fault model, Proceedings of the fifth annual ACM symposium on Principles of distributed computing, p.40-51, August 11-13, 1986, Calgary, Alberta, Canada
Tushar Deepak Chandra , Vassos Hadzilacos , Sam Toueg , Bernadette Charron-Bost, On the impossibility of group membership, Proceedings of the fifteenth annual ACM symposium on Principles of distributed computing, p.322-330, May 23-26, 1996, Philadelphia, Pennsylvania, United States
Udo Fritzke, Jr. , Philippe Ingels , Achour Mostefaoui , Michel Raynal, Consensus-based fault-tolerant total order multicast, IEEE Transactions on Parallel and Distributed Systems, v.12 n.2, p.146-156, February 2001
Bogdan S. Chlebus , Dariusz R. Kowalski, Gossiping to reach consensus, Proceedings of the fourteenth annual ACM symposium on Parallel algorithms and architectures, August 10-13, 2002, Winnipeg, Manitoba, Canada
Daniel Barbara , Hector Garcia-Molina , Annemarie Spauster, Increasing availability under mutual exclusion constraints with dynamic vote reassignment, ACM Transactions on Computer Systems (TOCS), v.7 n.4, p.394-426, Nov. 1989
Ran Canetti , Eyal Kushilevitz , Rafail Ostrovsky , Adi Rosén, Randomness vs. fault-tolerance, Proceedings of the sixteenth annual ACM symposium on Principles of distributed computing, p.35-44, August 21-24, 1997, Santa Barbara, California, United States
Yehuda Afek , David S. Greenberg , Michael Merritt , Gadi Taubenfeld, Computing with faulty shared memory, Proceedings of the eleventh annual ACM symposium on Principles of distributed computing, p.47-58, August 10-12, 1992, Vancouver, British Columbia, Canada
Yonatan Aumann, Efficient asynchronous consensus with the weak adversary scheduler, Proceedings of the sixteenth annual ACM symposium on Principles of distributed computing, p.209-218, August 21-24, 1997, Santa Barbara, California, United States
L. E. Moser , P. M. Melliar-Smith , D. A. Agarwal , R. K. Budhia , C. A. Lingley-Papadopoulos, Totem: a fault-tolerant multicast group communication system, Communications of the ACM, v.39 n.4, p.54-63, April 1996
Lidong Zhou , Fred B. Schneider , Robbert Van Renesse, COCA: A secure distributed online certification authority, ACM Transactions on Computer Systems (TOCS), v.20 n.4, p.329-368, November 2002
Miguel Castro , Barbara Liskov, Practical byzantine fault tolerance and proactive recovery, ACM Transactions on Computer Systems (TOCS), v.20 n.4, p.398-461, November 2002
Achour Mostefaoui , Sergio Rajsbaum , Michel Raynal, The combined power of conditions and failure detectors to solve asynchronous set agreement, Proceedings of the twenty-fourth annual ACM symposium on Principles of distributed computing, July 17-20, 2005, Las Vegas, NV, USA
Shivakant Mishra , Christof Fetzer , Flaviu Cristian, The Timewheel Group Communication System, IEEE Transactions on Computers, v.51 n.8, p.883-899, August 2002
Maurice Herlihy , Sergio Rajsbaum , Mark R. Tuttle, Unifying synchronous and asynchronous message-passing models, Proceedings of the seventeenth annual ACM symposium on Principles of distributed computing, p.133-142, June 28-July 02, 1998, Puerto Vallarta, Mexico
Yonatan Aumann , Michael A. Bender , Lisa Zhang, Efficient execution of nondeterministic parallel programs on asynchronous systems, Proceedings of the eighth annual ACM symposium on Parallel algorithms and architectures, p.270-276, June 24-26, 1996, Padua, Italy
Y. Amir , L. E. Moser , P. M. Melliar-Smith , D. A. Agarwal , P. Ciarfella, The Totem single-ring ordering and membership protocol, ACM Transactions on Computer Systems (TOCS), v.13 n.4, p.311-342, Nov. 1995
A. Segall , O. Wolfson, Transaction commitment at minimal communication cost, Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.112-118, March 23-25, 1987, San Diego, California, United States
A. Herzberg , S. Kutten, Fast isolation of arbitrary forwarding faults, Proceedings of the eighth annual ACM Symposium on Principles of distributed computing, p.339-353, June 1989, Edmonton, Alberta, Canada
Christof Fetzer, The message classification model, Proceedings of the seventeenth annual ACM symposium on Principles of distributed computing, p.153-162, June 28-July 02, 1998, Puerto Vallarta, Mexico
Michael K. Reiter, Secure agreement protocols: reliable and atomic group multicast in rampart, Proceedings of the 2nd ACM Conference on Computer and communications security, p.68-80, November 1994, Fairfax, Virginia, United States
Joseph Y. Halpern , Aleta Ricciardi, A knowledge-theoretic analysis of uniform distributed coordination and failure detectors, Proceedings of the eighteenth annual ACM symposium on Principles of distributed computing, p.73-82, May 04-06, 1999, Atlanta, Georgia, United States
Rajeev Alur , Thomas A. Henzinger, Finitary fairness, ACM Transactions on Programming Languages and Systems (TOPLAS), v.20 n.6, p.1171-1194, Nov. 1998
Roberto Segala, Verification of randomized distributed algorithms, Lectures on formal methods and performance analysis: first EEF/Euro summer school on trends in computer science, Springer-Verlag New York, Inc., New York, NY, 2002
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
Christof Fetzer, Perfect Failure Detection in Timed Asynchronous Systems, IEEE Transactions on Computers, v.52 n.2, p.99-112, February 2003
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
Michael K. Reiter , Kenneth P. Birman, How to securely replicate services, ACM Transactions on Programming Languages and Systems (TOPLAS), v.16 n.3, p.986-1009, May 1994
Hagit Attiya , Alla Gorbach , Shlomo Moran, Computing in totally anonymous asynchronous shared memory systems, Information and Computation, v.173 n.2, p.162-183, March 15, 2002
Roberto De Prisco , Dahlia Malkhi , Michael K. Reiter, On k-set consensus problems in asynchronous systems, Proceedings of the eighteenth annual ACM symposium on Principles of distributed computing, p.257-265, May 04-06, 1999, Atlanta, Georgia, United States
Hector Garcia-Molina , AnneMarie Spauster, Ordered and reliable multicast communication, ACM Transactions on Computer Systems (TOCS), v.9 n.3, p.242-271, Aug. 1991
Hagit Attiya , Cynthia Dwork , Nancy Lynch , Larry Stockmeyer, Bounds on the time to reach agreement in the presence of timing uncertainty, Proceedings of the twenty-third annual ACM symposium on Theory of computing, p.359-369, May 05-08, 1991, New Orleans, Louisiana, United States
S. A. Plotkin, Sticky bits and universality of consensus, Proceedings of the eighth annual ACM Symposium on Principles of distributed computing, p.159-175, June 1989, Edmonton, Alberta, Canada
Hagit Attiya , Vita Bortnikov, Adaptive and efficient mutual exclusion, Distributed Computing, v.15 n.3, p.177-189, July 2002
John Rushby, Systematic Formal Verification for Fault-Tolerant Time-Triggered Algorithms, IEEE Transactions on Software Engineering, v.25 n.5, p.651-660, September 1999
A. Arora , M. Gouda, Distributed Reset, IEEE Transactions on Computers, v.43 n.9, p.1026-1038, September 1994
Idit Keidar , Sergio Rajsbaum, A simple proof of the uniform consensus synchronous lower bound, Information Processing Letters, v.85 n.1, p.47-52, 16 January 2003
P. M. Melliar-Smith , L. E. Moser , V. Agrawala, Broadcast Protocols for Distributed Systems, IEEE Transactions on Parallel and Distributed Systems, v.1 n.1, p.17-25, January 1990
Michel Raynal , Mukesh Singhal, Mastering Agreement Problems in Distributed Systems, IEEE Software, v.18 n.4, p.40-47, July 2001
Yun Wang , Emmanuelle Anceaume , Francisco Brasileiro , Fabíola Greve , Michel Hurfin, Solving the Group Priority Inversion Problem in a Timed Asynchronous System, IEEE Transactions on Computers, v.51 n.8, p.900-915, August 2002
Partha Dutta , Rachid Guerraoui, The inherent price of indulgence, Proceedings of the twenty-first annual symposium on Principles of distributed computing, July 21-24, 2002, Monterey, California
James Aspnes, Fast deterministic consensus in a noisy environment, Journal of Algorithms, v.45 n.1, p.16-39, October 2002
Idit Keidar , Sergio Rajsbaum, On the cost of fault-tolerant consensus when there are no faults: preliminary version, ACM SIGACT News, v.32 n.2, June 2001
Carole Delporte-Gallet , Hugues Fauconnier , Stephanie Lorraine Horn , Sam Toueg, Fast fault-tolerant agreement algorithms, Proceedings of the twenty-fourth annual ACM symposium on Principles of distributed computing, July 17-20, 2005, Las Vegas, NV, USA
Paul G. Spirakis , Christos D. Zaroliagis, Distributed algorithm engineering, Experimental algorithmics: from algorithm design to robust and efficient software, Springer-Verlag New York, Inc., New York, NY, 2002
Danny Hendler , Nir Shavit, Operation-valency and the cost of coordination, Proceedings of the twenty-second annual symposium on Principles of distributed computing, p.84-91, July 13-16, 2003, Boston, Massachusetts
Roberto Baldoni , Jean-Michel Hélary , Michel Raynal , Lenaik Tangui, Consensus in byzantine asynchronous systems, Journal of Discrete Algorithms, v.1 n.2, p.185-210, April 2003
H. Abu-Amara , J. Lokre, Election in Asynchronous Complete Networks with Intermittent Link Failures, IEEE Transactions on Computers, v.43 n.7, p.778-788, July 1994
Y. K. Tsay , R. L. Bagrodia, Fault-Tolerant Algorithms for Fair Interprocess Synchronization, IEEE Transactions on Parallel and Distributed Systems, v.5 n.7, p.737-748, July 1994
Roberto de Prisco , Dahlia Malkhi , Michael Reiter, On k-Set Consensus Problems in Asynchronous Systems, IEEE Transactions on Parallel and Distributed Systems, v.12 n.1, p.7-21, January 2001
John Tromp , Paul Vitányi, Randomized two-process wait-free test-and-set, Distributed Computing, v.15 n.3, p.127-135, July 2002
Fernando Pedone , André Schiper, Optimistic atomic broadcast: a pragmatic viewpoint, Theoretical Computer Science, v.291 n.1, p.79-101, 4 January 2003
Roberto Baldoni , Carlo Marchetti, Three-tier replication for FT-CORBA infrastructures, Software—Practice & Experience, v.33 n.8, p.767-797, 10 July 2003
Achour Mostefaoui , Sergio Rajsbaum , Michel Raynal, Conditions on input vectors for consensus solvability in asynchronous distributed systems, Journal of the ACM (JACM), v.50 n.6, p.922-954, November 2003
Sergio Rajsbaum, ACM SIGACT news distributed computing column 5, ACM SIGACT News, v.32 n.4, December 2001
Flaviu Cristian , Christof Fetzer, The Timed Asynchronous Distributed System Model, IEEE Transactions on Parallel and Distributed Systems, v.10 n.6, p.642-657, June 1999
Jian Yin , Jean-Philippe Martin , Arun Venkataramani , Lorenzo Alvisi , Mike Dahlin, Separating agreement from execution for byzantine fault tolerant services, Proceedings of the nineteenth ACM symposium on Operating systems principles, October 19-22, 2003, Bolton Landing, NY, USA
Matthias Fitzi , Juan A. Garay, Efficient player-optimal protocols for strong and differential consensus, Proceedings of the twenty-second annual symposium on Principles of distributed computing, p.211-220, July 13-16, 2003, Boston, Massachusetts
Yefim Dinitz , Shlomo Moran , Sergio Rajsbaum, Exact communication costs for consensus and leader in a tree, Journal of Discrete Algorithms, v.1 n.2, p.167-183, April 2003
Paul C. Attie , Anish Arora , E. Allen Emerson, Synthesis of fault-tolerant concurrent programs, ACM Transactions on Programming Languages and Systems (TOPLAS), v.26 n.1, p.125-185, January 2004
Roy Friedman , Achour Mostefaoui , Michel Raynal, A weakest failure detector-based asynchronous consensus protocol for f < n, Information Processing Letters, v.90 n.1, p.39-46, 15 April 2004
Bernadette Charron-Bost , André Schiper, Uniform consensus is harder than consensus, Journal of Algorithms, v.51 n.1, p.15-37, 1 April 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
Rachid Guerraoui, Non-blocking atomic commit in asynchronous distributed systems with failure detectors, Distributed Computing, v.15 n.1, p.17-25, January 2002
James Aspnes, Randomized protocols for asynchronous consensus, Distributed Computing, v.16 n.2-3, p.165-175, September 2003
Faith Fich , Eric Ruppert, Hundreds of impossibility results for distributed computing, Distributed Computing, v.16 n.2-3, p.121-163, September 2003
L. E. Moser , P. M. Melliar-Smith , V. Agrawala, Processor Membership in Asynchronous Distributed Systems, IEEE Transactions on Parallel and Distributed Systems, v.5 n.5, p.459-473, May 1994
Marcos K. Aguilera, A pleasant stroll through the land of infinitely many creatures, ACM SIGACT News, v.35 n.2, June 2004
Wai-Kau Lo , Vassos Hadzilacos, On the power of shared object types to implement one-resilient Consensus, Distributed Computing, v.13 n.4, p.219-238, November 2000
On the Implementation of Unreliable Failure Detectors in Partially Synchronous Systems, IEEE Transactions on Computers, v.53 n.7, p.815-828, July 2004
Marcos K. Aguilera , Carole Delporte-Gallet , Hugues Fauconnier , Sam Toueg, Communication-efficient leader election and consensus with limited link synchrony, Proceedings of the twenty-third annual ACM symposium on Principles of distributed computing, July 25-28, 2004, St. John's, Newfoundland, Canada
Alberto Bartoli, Implementing a replicated service with group communication, Journal of Systems Architecture: the EUROMICRO Journal, v.50 n.8, p.493-519, August 2004
Gil Neiger, A new look at membership services (extended abstract), Proceedings of the fifteenth annual ACM symposium on Principles of distributed computing, p.331-340, May 23-26, 1996, Philadelphia, Pennsylvania, United States
Ajei Gopal , Sam Toueg, Inconsistency and contamination (preliminary version), Proceedings of the tenth annual ACM symposium on Principles of distributed computing, p.257-272, August 19-21, 1991, Montreal, Quebec, Canada
Cynthia Dwork , Maurice Herlihy , Orli Waarts, Contention in shared memory algorithms, Journal of the ACM (JACM), v.44 n.6, p.779-805, Nov. 1997
M. Herlihy , Mark R. Tuttle, Lower bounds for wait-free computation in message-passing systems, Proceedings of the ninth annual ACM symposium on Principles of distributed computing, p.347-362, August 22-24, 1990, Quebec City, Quebec, Canada
Maurice Herlihy, On beyond registers: wait-free readable objects, Proceedings of the twentieth annual ACM symposium on Principles of distributed computing, p.26-42, August 2001, Newport, Rhode Island, United States
Maurice Herlihy , Sergio Rajsbaum, Algebraic spans, Proceedings of the fourteenth annual ACM symposium on Principles of distributed computing, p.90-99, August 20-23, 1995, Ottowa, Ontario, Canada
Elizabeth Borowsky , Eli Gafni , Yehuda Afek, Consensus power makes (some) sense! (extended abstract), Proceedings of the thirteenth annual ACM symposium on Principles of distributed computing, p.363-372, August 14-17, 1994, Los Angeles, California, United States
Benny Chor , Amos Israeli , Ming Li, On processor coordination using asynchronous hardware, Proceedings of the sixth annual ACM Symposium on Principles of distributed computing, p.86-97, August 10-12, 1987, Vancouver, British Columbia, Canada
Luís Rodrigues , Michel Raynal, Atomic Broadcast in Asynchronous Crash-Recovery Distributed Systems and Its Use in Quorum-Based Replication, IEEE Transactions on Knowledge and Data Engineering, v.15 n.5, p.1206-1217, September 2003
S. C. Wang , K. Q. Yan , C. F. Cheng, Asynchronous consensus protocol for the unreliable un-fully connected network, ACM SIGOPS Operating Systems Review, v.37 n.3, p.43-54, July 2003
Michael F. Bridgland , Ronald J. Watro, Fault-tolerant decision making in totally asynchronous distributed systems, Proceedings of the sixth annual ACM Symposium on Principles of distributed computing, p.52-63, August 10-12, 1987, Vancouver, British Columbia, Canada
Rida A. Bazzi , Gil Neiger , Gary L. Peterson, On the use of registers in achieving wait-free consensus, Proceedings of the thirteenth annual ACM symposium on Principles of distributed computing, p.354-362, August 14-17, 1994, Los Angeles, California, United States
Cynthia Dwork , Maurice Herlihy , Orli Waarts, Contention in shared memory algorithms, Proceedings of the twenty-fifth annual ACM symposium on Theory of computing, p.174-183, May 16-18, 1993, San Diego, California, United States
Flaviu Cristian, Synchronous and asynchronous, Communications of the ACM, v.39 n.4, p.88-97, April 1996
Maurice Herlihy, Randomized wait-free concurrent objects (extended abstract), Proceedings of the tenth annual ACM symposium on Principles of distributed computing, p.11-21, August 19-21, 1991, Montreal, Quebec, Canada
Hagit Attiya , Amotz Bar-Noy , Danny Dolev , David Peleg , Rüdiger Reischuk, Renaming in an asynchronous environment, Journal of the ACM (JACM), v.37 n.3, p.524-548, July 1990
Cliff Jones , David Lomet , Alexander Romanovsky , Gerhard Weikum , Alan Fekete , Marie-Claude Gaudel , Henry F. Korth , Rogerio de Lemos , Eliot Moss , Ravi Rajwar , Krithi Ramamritham , Brian Randell , Luis Rodrigues, The atomic manifesto: a story in four quarks, ACM SIGMOD Record, v.34 n.1, March 2005
Bran Selic, Architectural patterns for real-time systems, UML for real: design of embedded real-time systems, Kluwer Academic Publishers, Norwell, MA, 2003
Dahlia Malkhi , Michael K. Reiter, An Architecture for Survivable Coordination in Large Distributed Systems, IEEE Transactions on Knowledge and Data Engineering, v.12 n.2, p.187-202, March 2000
Weijia Jia , Jörg Kaiser , Edgar Nett, RMP: Fault-Tolerant Group Communication, IEEE Micro, v.16 n.2, p.59-67, April 1996
Parameswaran Ramanathan , Kang G. Shin, Use of Common Time Base for Checkpointing and Rollback Recovery in a Distributed System, IEEE Transactions on Software Engineering, v.19 n.6, p.571-583, June 1993
Chung-Kuo Chang, Bidding Against Competitors, IEEE Transactions on Software Engineering, v.16 n.1, p.100-104, January 1990
Hong-Yi Tzeng , Kai-Yeung Siu, Message-Optimal Protocols for Fault-Tolerant Broadcasts/Multicasts in Distributed Systems with Crash Failures, IEEE Transactions on Computers, v.44 n.2, p.346-352, February 1995
Alon Itai , Shay Kutten , Yaron Wolfstahl , Shmuel Zaks, Optimal Distributed t-Resilient Election in Complete Networks, IEEE Transactions on Software Engineering, v.16 n.4, p.415-420, April 1990
Dahlia Malkhi , Michael Merritt , Ohad Rodeh, Secure reliable multicast protocols in a WAN, Distributed Computing, v.13 n.1, p.19-28, January 2000
Achour Mostefaoui , Eric Mourgaya , Michel Raynal, An introduction to oracles for asynchronous distributed systems, Future Generation Computer Systems, v.18 n.6, p.757-767, May 2002
Rachid Guerraoui , Michel Raynal, The Information Structure of Indulgent Consensus, IEEE Transactions on Computers, v.53 n.4, p.453-466, April 2004
Paul D. Ezhilchelvan , Francisco V. Brasileiro , Neil A. Speirs, A Timeout-Based Message Ordering Protocol for a Lightweight Software Implementation of TMR Systems, IEEE Transactions on Parallel and Distributed Systems, v.15 n.1, p.53-65, January 2004
Alessandro Panconesi , Marina Papatriantafilou , Philippas Tsigas , Paul Vitányi, Randomized naming using wait-free shared variables, Distributed Computing, v.11 n.3, p.113-124, August 1998
Qingfeng Huang , Christine Julien , Gruia-Catalin Roman, Relying on Safe Distance to Achieve Strong Partitionable Group Membership in Ad Hoc Networks, IEEE Transactions on Mobile Computing, v.3 n.2, p.192-205, April 2004
Rachid Guerraoui , André Schiper, Software-Based Replication for Fault Tolerance, Computer, v.30 n.4, p.68-74, April 1997
Peter J. McCann , Gruia-Catalin Roman, Compositional Programming Abstractions for Mobile Computing, IEEE Transactions on Software Engineering, v.24 n.2, p.97-110, February 1998
Tom Chothia , Dominic Duggan, Abstractions for fault-tolerant global computing, Theoretical Computer Science, v.322 n.3, p.567-613, 6 September 2004
Hin-Sing Siu , Yeh-Hao Chin , W.-P. Yang, Byzantine Agreement in the Presence of Mixed Faults on Processors and Links, IEEE Transactions on Parallel and Distributed Systems, v.9 n.4, p.335-345, April 1998
Özalp Babaoğlu , Alberto Bartoli , Gianluca Dini, Enriched View Synchrony: A Programming Paradigm for Partitionable Asynchronous Distributed Systems, IEEE Transactions on Computers, v.46 n.6, p.642-658, June 1997
Anish Arora , Mohamed Gouda, Closure and Convergence: A Foundation of Fault-Tolerant Computing, IEEE Transactions on Software Engineering, v.19 n.11, p.1015-1027, November 1993
Gil Neiger , Rida Bazzi, Using knowledge to optimally achieve coordination in distributed systems: extended abstract, Proceedings of the 4th conference on Theoretical aspects of reasoning about knowledge, p.43-59, March 22-25, 1992, Monterey, California
André Schiper, Early consensus in an asynchronous system with a weak failure detector, Distributed Computing, v.10 n.3, p.149-157, April 1997
F. Pedone , A. Schiper, Handling message semantics with Generic Broadcast protocols, Distributed Computing, v.15 n.2, p.97-107, April 2002
Rida A. Bazzi , Gil Neiger , Gary L. Peterson, On the use of registers in achieving wait-free consensus, Distributed Computing, v.10 n.3, p.117-127, April 1997
Monica Scannapieco , Antonino Virgillito , Carlo Marchetti , Massimo Mecella , Roberto Baldoni, The DaQuinCIS architecture: a platform for exchanging and improving data quality in cooperative information systems, Information Systems, v.29 n.7, p.551-582, October 2004
Hosame H. Abu-Amara, Fault-Tolerant Distributed Algorithm for Election in Complete Networks, IEEE Transactions on Computers, v.37 n.4, p.449-453, April 1988
Bernard Mans , Nicola Santoro, Optimal Elections in Faulty Loop Networks and Applications, IEEE Transactions on Computers, v.47 n.3, p.286-297, March 1998
Vasken Bohossian , Chenggong C. Fan , Paul S. LeMahieu , Marc D. Riedel , Jehoshua Bruck , Lihao Xu, Computing in the RAIN: A Reliable Array of Independent Nodes, IEEE Transactions on Parallel and Distributed Systems, v.12 n.2, p.99-114, February 2001
Indranil Gupta, On the design of distributed protocols from differential equations, Proceedings of the twenty-third annual ACM symposium on Principles of distributed computing, July 25-28, 2004, St. John's, Newfoundland, Canada
Romain Boichat , Partha Dutta , Svend Frølund , Rachid Guerraoui, Deconstructing paxos, ACM SIGACT News, v.34 n.1, March 2003
Anna Pogosyants , Roberto Segala , Nancy Lynch, Verification of the randomized consensus algorithm of Aspnes and Herlihy: a case study, Distributed Computing, v.13 n.3, p.155-186, July 2000
Xavier Défago , André Schiper , Péter Urbán, Total order broadcast and multicast algorithms: Taxonomy and survey, ACM Computing Surveys (CSUR), v.36 n.4, p.372-421, December 2004
E. Anceaume , A. Fernández , A. Mostefaoui , G. Neiger , M. Raynal, A necessary and sufficient condition for transforming limited accuracy failure detectors, Journal of Computer and System Sciences, v.68 n.1, p.123-133, February 2004
Deborah Shands , Chung-Kuo Chang, Characterizing distributed systems using knowledge-based models: preliminary version, Proceedings of the 4th conference on Theoretical aspects of reasoning about knowledge, p.29-42, March 22-25, 1992, Monterey, California
Michael A. Marsh , Fred B. Schneider, CODEX: A Robust and Secure Secret Distribution System, IEEE Transactions on Dependable and Secure Computing, v.1 n.1, p.34-47, January 2004
Rachid Guerraoui , André Schiper, The Generic Consensus Service, IEEE Transactions on Software Engineering, v.27 n.1, p.29-41, January 2001
Özalp Babaoglu , Renzo Davoli , Alberto Montresor, Group Communication in Partitionable Systems: Specification and Algorithms, IEEE Transactions on Software Engineering, v.27 n.4, p.308-336, April 2001
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
J.-M. Hélary , M. Hurfin , A. Mostefaoui , M. Raynal , F. Tronel, Computing Global Functions in Asynchronous Distributed Systems with Perfect Failure Detectors, IEEE Transactions on Parallel and Distributed Systems, v.11 n.9, p.897-909, September 2000
S. W. Luan , V. D. Gligor, A Fault-Tolerant Protocol for Atomic Broadcast, IEEE Transactions on Parallel and Distributed Systems, v.1 n.3, p.271-285, July 1990
Hagen Völzer, A constructive proof for FLP, Information Processing Letters, v.92 n.2, p.83-87, 31 October 2004
Shivakant Mishra , Lan Fei , Xiao Lin , Guming Xing, On Group Communication Support in CORBA, IEEE Transactions on Parallel and Distributed Systems, v.12 n.2, p.193-208, February 2001
John Havlicek, Computable obstructions to wait-free computability, Distributed Computing, v.13 n.2, p.59-83, April 2000
Sylvie Delaët , Sébastien Tixeuil, Tolerating transient and intermittent failures, Journal of Parallel and Distributed Computing, v.62 n.5, p.961-981, May 2002
Silvano Maffeis, Piranha: A CORBA Tool For High Availability, Computer, v.30 n.4, p.59-66, April 1997
Dahlia Malkhi , Michael Merritt , Michael K. Reiter , Gadi Taubenfeld, Objects shared by Byzantine processes, Distributed Computing, v.16 n.1, p.37-48, February 2003
Kenneth P. Birman , Bradford B. Glade, Reliability Through Consistency, IEEE Software, v.12 n.3, p.29-41, May 1995
Michel Reynal, A short introduction to failure detectors for asynchronous distributed systems, ACM SIGACT News, v.36 n.1, March 2005
David B. Ingham , Santosh K. Shrivastava , Fabio Panzieri, Constructing Dependable Web Services, IEEE Internet Computing, v.4 n.1, p.25-33, January 2000
M. Hurfin , A. Mostéfaoui , M. Raynal, A Versatile Family of Consensus Protocols Based on Chandra-Toueg's Unreliable Failure Detectors, IEEE Transactions on Computers, v.51 n.4, p.395-408, April 2002
Massimo Franceschetti , Jehoshua Bruck, A Group Membership Algorithm with a Practical Specification, IEEE Transactions on Parallel and Distributed Systems, v.12 n.11, p.1190-1200, November 2001
Achour Mostéfaoui , Sergio Rajsbaum , Michel Raynal , Matthieu Roy, Condition-based consensus solvability: a hierarchy of conditions and efficient protocols, Distributed Computing, v.17 n.1, p.1-20, February 2004
Carole Delporte-Gallet , Hugues Fauconnier , Rachid Guerraoui , Vassos Hadzilacos , Petr Kouznetsov , Sam Toueg, The weakest failure detectors to solve certain fundamental problems in distributed computing, Proceedings of the twenty-third annual ACM symposium on Principles of distributed computing, July 25-28, 2004, St. John's, Newfoundland, Canada
Gregory Chockler , Murat Demirbas , Seth Gilbert , Calvin Newport , Tina Nolte, Consensus and collision detectors in wireless Ad Hoc networks, Proceedings of the twenty-fourth annual ACM symposium on Principles of distributed computing, July 17-20, 2005, Las Vegas, NV, USA
Augusto Ciuffoletti, Reliability versus cost: design of a probabilistic broadcast algorithm, Distributed Computing, v.7 n.3, p.115-127, March 1994
Wim H. Hesselink, Wait-free linearization with an assertional proof, Distributed Computing, v.8 n.2, p.65-80, October 1994
Eli Gafni , Leslie Lamport, Disk Paxos, Distributed Computing, v.16 n.1, p.1-20, February 2003
Mikel Larrea , Antonio Fernández , Sergio Arévalo, Eventually consistent failure detectors, Journal of Parallel and Distributed Computing, v.65 n.3, p.361-373, March 2005
Ronit Lubitch , Shlomo Moran, Closed schedulers: a novel technique for analyzing asynchronous protocols, Distributed Computing, v.8 n.4, p.203-210, June 1995
Carole Delporte-Gallet , Hugues Fauconnier , Rachid Guerraoui , Petr Kouznetsov, Mutual exclusion in asynchronous systems with failure detectors, Journal of Parallel and Distributed Computing, v.65 n.4, p.492-505, April 2005
Raimundo J. Araújo Macêdo , Flávio M. Assis Silva, The mobile groups approach for the coordination of mobile agents, Journal of Parallel and Distributed Computing, v.65 n.3, p.275-288, March 2005
Lynda Temal , Denis Conan, Failure, connectivity and disconnection detectors, Proceedings of the 1st French-speaking conference on Mobility and ubiquity computing, June 01-03, 2004, Nice, France
Cliff Jones , David Lomet , Alexander Romanovsky , Gerhard Weikum , Alan Fekete , Marie-Claude Gaudel , Henry F. Korth , Rogerio de Lemos , Eliot Moss , Ravi Rajwar , Krithi Ramamritham , Brian Randell , Luis Rodrigues, The atomic manifesto: a story in four quarks, ACM SIGOPS Operating Systems Review, v.39 n.2, p.41-46, April 2005
Michael Merritt , Gadi Taubenfeld, Knowledge in shared memory systems, Distributed Computing, v.7 n.2, p.99-109, December 1993
Yasushi Saito , Marc Shapiro, Optimistic replication, ACM Computing Surveys (CSUR), v.37 n.1, p.42-81, March 2005
S. Krishnaprasad, A gentle introduction to distributed algorithms, Proceedings of the 2nd annual conference on Mid-south college computing, p.28-35, April 02-03, 2004, Little Rock, Arkansas
Michael Merritt , Gadi Taubenfeld, Atomic m-register operations, Distributed Computing, v.7 n.4, p.213-221, May 1994
Craig Gentry , Zulfikar Ramzan , Stuart Stubblebine, Secure distributed human computation, Proceedings of the 6th ACM conference on Electronic commerce, p.155-164, June 05-08, 2005, Vancouver, BC, Canada
Eli Gafni , Rachid Guerraoui , Bastian Pochon, From a static impossibility to an adaptive lower bound: the complexity of early deciding set agreement, Proceedings of the thirty-seventh annual ACM symposium on Theory of computing, May 22-24, 2005, Baltimore, MD, USA
Rajeev Alur , Gadi Taubenfeld, Fast timing-based algorithms, Distributed Computing, v.10 n.1, p.1-10, July 1996
Fred B. Schneider , Lidong Zhou, Implementing Trustworthy Services Using Replicated State Machines, IEEE Security and Privacy, v.3 n.5, p.34-43, September 2005
Roy Friedman , Achour Mostefaoui , Michel Raynal, Simple and Efficient Oracle-Based Consensus Protocols for Asynchronous Byzantine Systems, IEEE Transactions on Dependable and Secure Computing, v.2 n.1, p.46-56, January 2005
Jonathan Eisler , Vassos Hadzilacos , Sam Toueg, The weakest failure detector to solve nonuniform consensus, Proceedings of the twenty-fourth annual ACM symposium on Principles of distributed computing, July 17-20, 2005, Las Vegas, NV, USA
Yih-Kuen Tsay , Rajive L. Bagrodia, Some impossibility results in interprocess synchronization, Distributed Computing, v.6 n.4, p.221-231, July 1993
Fabian Kuhn , Thomas Moscibroda , Roger Wattenhofer, What cannot be computed locally!, Proceedings of the twenty-third annual ACM symposium on Principles of distributed computing, July 25-28, 2004, St. John's, Newfoundland, Canada
Sandeep S. Kulkarni , Ali Ebnenasir, Complexity Issues in Automated Synthesis of Failsafe Fault-Tolerance, IEEE Transactions on Dependable and Secure Computing, v.2 n.3, p.201-215, July 2005
Hasan M. Sayeed , Marwan Abu-Amara , Hosame Abu-Amara, Optimal asynchronous agreement and leader election algorithm for complete networks with Byzantine faulty links, Distributed Computing, v.9 n.3, p.147-156, December 1995
Philippe Raïpin Parvédy , Michel Raynal, Optimal early stopping uniform consensus in synchronous systems with process omission failures, Proceedings of the sixteenth annual ACM symposium on Parallelism in algorithms and architectures, June 27-30, 2004, Barcelona, Spain
Amitanand S. Aiyer , Lorenzo Alvisi , Allen Clement , Mike Dahlin , Jean-Philippe Martin , Carl Porth, BAR fault tolerance for cooperative services, ACM SIGOPS Operating Systems Review, v.39 n.5, December 2005
Maurice Herlihy , Sergio Rajsbaum, A classification of wait-free loop agreement tasks, Theoretical Computer Science, v.291 n.1, p.55-77, 4 January 2003
Franck Cappello , Samir Djilali , Gilles Fedak , Thomas Herault , Frédéric Magniette , Vincent Néri , Oleg Lodygensky, Computing on large-scale distributed systems: Xtrem Web architecture, programming models, security, tests and convergence with grid, Future Generation Computer Systems, v.21 n.3, p.417-437, 1 March 2005
Michel Hurfin , Michel Raynal, A simple and fast asynchronous consensus protocol based on a weak failure detector, Distributed Computing, v.12 n.4, p.209-223, September 1999
Xianbing Wang , Yong Meng Teo , Jiannong Cao, A bivalency proof of the lower bound for uniform consensus, Information Processing Letters, v.96 n.5, p.167-174, 16 December 2005
Lidong Zhou , Fred B. Schneider , Robbert Van Renesse, APSS: proactive secret sharing in asynchronous systems, ACM Transactions on Information and System Security (TISSEC), v.8 n.3, p.259-286, August 2005
Anthony Harrington , Christian Jensen, Cryptographic access control in a distributed file system, Proceedings of the eighth ACM symposium on Access control models and technologies, June 02-03, 2003, Como, Italy
John Turek , Dennis Shasha, The Many Faces of Consensus in Distributed Systems, Computer, v.25 n.6, p.8-17, June 1992
Muhammad Usman Bhatti , Denis Conan, Détection de partition pour la gestion de groupes en environnement mobile, Proceedings of the 2nd French-speaking conference on Mobility and uibquity computing, May 31-June 03, 2005, Grenoble, France
Matti A. Hiltunen , Richard D. Schlichting, A Configurable Membership Service, IEEE Transactions on Computers, v.47 n.5, p.573-586, May 1998
B. A. Coan, A Compiler that Increases the Fault Tolerance of Asynchronous Protocols, IEEE Transactions on Computers, v.37 n.12, p.1541-1553, December 1988
Thomas Moscibroda , Stefan Schmid , Roger Wattenhofer, When selfish meets evil: byzantine players in a virus inoculation game, Proceedings of the twenty-fifth annual ACM symposium on Principles of distributed computing, July 23-26, 2006, Denver, Colorado, USA
Hagit Attiya , Rachid Guerraoui , Danny Hendler , Petr Kouznetsov, Synchronizing without locks is inherently expensive, Proceedings of the twenty-fifth annual ACM symposium on Principles of distributed computing, July 23-26, 2006, Denver, Colorado, USA
Idit Keidar , Alexander Shraer, Timeliness, failure-detectors, and consensus performance, Proceedings of the twenty-fifth annual ACM symposium on Principles of distributed computing, July 23-26, 2006, Denver, Colorado, USA
Felix C. Freiling , Hagen Völzer, Illustrating the impossibility of crash-tolerant consensus in asynchronous systems, ACM SIGOPS Operating Systems Review, v.40 n.2, p.105-109, April 2006
Gregory Chockler , Dahlia Malkhi, Active disk Paxos with infinitely many processes, Distributed Computing, v.18 n.1, p.73-84, July 2005
Partha Dutta , Rachid Guerraoui, The inherent price of indulgence, Distributed Computing, v.18 n.1, p.85-98, July 2005
Paris C. Kanellakis , Alex A. Shvartsman, Efficient parallel algorithms can be made robust, Distributed Computing, v.5 n.4, p.201-217, April 1992
James Aspnes , Gauri Shah , Jatin Shah, Wait-free consensus with infinite arrivals, Proceedings of the thiry-fourth annual ACM symposium on Theory of computing, May 19-21, 2002, Montreal, Quebec, Canada
Manhoi Choy , Ambuj K. Singh, Localizing Failures in Distributed Synchronization, IEEE Transactions on Parallel and Distributed Systems, v.7 n.7, p.705-716, July 1996
Paul Ezhilchelvan , Jean-Michel Helary , Michel Raynal, Building responsive TMR-based servers in presence of timing constraints, Proceedings of the twenty-first annual symposium on Principles of distributed computing, July 21-24, 2002, Monterey, California
Christian Cachin , Klaus Kursawe , Anna Lysyanskaya , Reto Strobl, Asynchronous verifiable secret sharing and proactive cryptosystems, Proceedings of the 9th ACM conference on Computer and communications security, November 18-22, 2002, Washington, DC, USA
Guojing Cong , David A. Bader, Designing irregular parallel algorithms with mutual exclusion and lock-free protocols, Journal of Parallel and Distributed Computing, v.66 n.6, p.854-866, June 2006
Noga Alon , Michael Merritt , Omer Reingold , Gadi Taubenfeld , Rebecca N. Wright, Tight bounds for shared memory systems accessed by Byzantine processes, Distributed Computing, v.18 n.2, p.99-109, December 2005
Yonatan Aumann , Michael A. Bender, Efficient low-contention asynchronous consensus with the value-oblivious adversary scheduler, Distributed Computing, v.17 n.3, p.191-207, March 2005
Joseph Y. Halpern , Aleta Ricciardi, A knowledge-theoretic analysis of uniform distributed coordination and failure detectors, Distributed Computing, v.17 n.3, p.223-236, March 2005
Miguel Correia , Nuno Ferreira Neves , Lau Cheuk Lung , Paulo Veríssimo, Low complexity Byzantine-resilient consensus, Distributed Computing, v.17 n.3, p.237-249, March 2005
Roberto Baldoni , Jean-Michel Hélary , Sara Tucci Piergiovanni, A methodology to design arbitrary failure detectors for distributed protocols, Journal of Systems Architecture: the EUROMICRO Journal, v.54 n.7, p.619-637, July, 2008
Tolga Ayav , Pascal Fradet , Alain Girault, Implementing fault-tolerance in real-time programs by automatic program transformations, ACM Transactions on Embedded Computing Systems (TECS), v.7 n.4, p.1-43, July 2008
Robbert van Renesse, Causal controversy at Le Mont St.-Michel, ACM SIGOPS Operating Systems Review, v.27 n.2, p.44-53, April 1993
Rachid Guerraoui , Marko VukoliĆ, Refined quorum systems, Proceedings of the twenty-sixth annual ACM symposium on Principles of distributed computing, August 12-15, 2007, Portland, Oregon, USA
Weigang Wu , Jiannong Cao , Jin Yang , Michel Raynal, Using asynchrony and zero degradation to speed up indulgent consensus protocols, Journal of Parallel and Distributed Computing, v.68 n.7, p.984-996, July, 2008
Allen Clement, Distributed computing in SOSP and OSDI, ACM SIGACT News, v.39 n.2, June 2008
Eric Goubault, Geometry and concurrency: a user's guide, Mathematical Structures in Computer Science, v.10 n.4, p.411-425, August 2000
Maurice Herlihy , Sergio Rajsbaum, Algebraic spans, Mathematical Structures in Computer Science, v.10 n.4, p.549-573, August 2000
Panagiota Fatourou , Faith Ellen Fich , Eric Ruppert, Time-space tradeoffs for implementations of snapshots, Proceedings of the thirty-eighth annual ACM symposium on Theory of computing, May 21-23, 2006, Seattle, WA, USA
Patrick Eugster, Type-based publish/subscribe: Concepts and experiences, ACM Transactions on Programming Languages and Systems (TOPLAS), v.29 n.1, p.6-es, January 2007
Benoît Garbinato , Ian Rickebusch, Orchestrating fair exchanges between mutually distrustful web services, Proceedings of the 3rd ACM workshop on Secure web services, November 03-03, 2006, Alexandria, Virginia, USA
Jan Cederquist , Mohammad Torabi Dashti, An intruder model for verifying liveness in security protocols, Proceedings of the fourth ACM workshop on Formal methods in security, p.23-32, November 03-03, 2006, Alexandria, Virginia, USA
Tolga Ayav , Pascal Fradet , Alain Girault, Implementing fault-tolerance in real-time systems by automatic program transformations, Proceedings of the 6th ACM & IEEE International conference on Embedded software, October 22-25, 2006, Seoul, Korea
Bogdan S. Chlebus , Dariusz R. Kowalski, Robust gossiping with an application to consensus, Journal of Computer and System Sciences, v.72 n.8, p.1262-1281, December, 2006
Gildas Avoine , Serge Vaudenay, How to safely close a discussion, Information Processing Letters, v.102 n.4, p.138-142, May, 2007
Miguel Correia , Nuno Ferreira Neves , Lau Cheuk Lung , Paulo Veríssimo, Worm-IT - A wormhole-based intrusion-tolerant group communication system, Journal of Systems and Software, v.80 n.2, p.178-197, February, 2007
Lisbeth Fajstrup , Martin Raußen , Eric Goubault, Algebraic topology and concurrency, Theoretical Computer Science, v.357 n.1, p.241-278, 25 July 2006
Arash Baratloo , P. Emerald Chung , Yennun Huang , Sampath Rangarajan , Shalini Yajnik, Filterfresh: hot replication of java RMI server objects, Proceedings of the 4th conference on USENIX Conference on Object-Oriented Technologies and Systems (COOTS), p.5-5, April 27-30, 1998, Santa Fe, New Mexico
Emery D. Berger , Benjamin G. Zorn, DieHard: probabilistic memory safety for unsafe languages, ACM SIGPLAN Notices, v.41 n.6, June 2006
Paulo Sousa , Nuno Ferreira Neves , Paulo Veríssimo, Proactive resilience through architectural hybridization, Proceedings of the 2006 ACM symposium on Applied computing, April 23-27, 2006, Dijon, France
François Bonnet , Paul Ezhilchelvan , Einar Vollset, Quiescent consensus in mobile ad-hoc networks using eventually storage-free broadcasts, Proceedings of the 2006 ACM symposium on Applied computing, April 23-27, 2006, Dijon, France
Jim Gray , Leslie Lamport, Consensus on transaction commit, ACM Transactions on Database Systems (TODS), v.31 n.1, p.133-160, March 2006
Achour Mostefaoui , Sergio Rajsbaum , Michel Raynal , Corentin Travers, Irreducibility and additivity of set agreement-oriented failure detector classes, Proceedings of the twenty-fifth annual ACM symposium on Principles of distributed computing, July 23-26, 2006, Denver, Colorado, USA
Taisuke Izumi , Toshimitsu Masuzawa, A weakly-adaptive condition-based consensus algorithm in asynchronous distributed systems, Information Processing Letters, v.100 n.5, p.199-205, 16 December 2006
Rocco De Nicola , Daniele Gorla , Rosario Pugliese, Global computing in a dynamic network of tuple spaces, Science of Computer Programming, v.64 n.2, p.187-204, January, 2007
Tiejun Ma , Jane Hillston , Stuart Anderson, Evaluation of the QoS of crash-recovery failure detection, Proceedings of the 2007 ACM symposium on Applied computing, March 11-15, 2007, Seoul, Korea
Taisuke Izumi , Akinori Saitoh , Toshimitsu Masuzawa, Adaptive timeliness of consensus in presence of crash and timing faults, Journal of Parallel and Distributed Computing, v.67 n.6, p.648-658, June, 2007
John Dunagan , Nicholas J. A. Harvey , Michael B. Jones , Dejan Kostić , Marvin Theimer , Alec Wolman, FUSE: lightweight guaranteed distributed failure notification, Proceedings of the 6th conference on Symposium on Opearting Systems Design & Implementation, p.11-11, December 06-08, 2004, San Francisco, CA
Aaron B. Brown , Anupam Chanda , Rik Farrow , Alexandra Fedorova , Petros Maniatis , Michael L. Scott, The many faces of systems research: and how to evaluate them, Proceedings of the 10th conference on Hot Topics in Operating Systems, p.26-26, June 12-15, 2005, Santa Fe, NM
Emmanuelle Anceaume , Roy Friedman , Maria Gradinariu, Managed Agreement: Generalizing two fundamental distributed agreement problems, Information Processing Letters, v.101 n.5, p.190-198, March, 2007
Achour Mostefaoui , Sergio Rajsbaum , Michel Raynal , Corentin Travers, Research note: From ♢W to Ω: A simple bounded quiescent reliable broadcast-based transformation, Journal of Parallel and Distributed Computing, v.67 n.1, p.125-129, January, 2007
Phuong Hoai Ha , Philippas Tsigas , Otto J. Anshus, Non-blocking programming on multi-core graphics processors: (extended asbtract), ACM SIGARCH Computer Architecture News, v.36 n.5, December 2008
Paul D. Ezhilchelvan , Santosh K. Shrivastava, A Family of Trusted Third Party Based Fair-Exchange Protocols, IEEE Transactions on Dependable and Secure Computing, v.2 n.4, p.273-286, October 2005
Sung Hoon Park, The election problem in asynchronous distributed systems with bounded faulty processes, The Journal of Supercomputing, v.41 n.1, p.89-104, July 2007
Bernadette Charron-Bost , André Schiper, Harmful dogmas in fault tolerant distributed computing, ACM SIGACT News, v.38 n.1, March 2007
Heinrich Moser , Bernd Thallner, Construction of a fault-tolerant wireless communication topology using distributed agreement, Proceedings of the 2006 workshop on Dependability issues in wireless ad hoc networks and sensor networks, September 26-26, 2006, Los Angeles, CA, USA
Lorenz Froihofer , Johannes Osrael , Karl M. Goeschka, Middleware/application interactions to support adaptive dependability, Proceedings of the 1st workshop on Middleware-application interaction: in conjunction with Euro-Sys 2007, March 20-20, 2007, Lisbon, Portugal
Luiz Angelo Steffenel , Manuele Kirsch Pinheiro , Yolande Bebers, Total order broadcast on pervasive systems, Proceedings of the 2008 ACM symposium on Applied computing, March 16-20, 2008, Fortaleza, Ceara, Brazil
Carole Delporte-Gallet , Hugues Fauconnier , Rachid Guerraoui , Bastian Pochon, The perfectly synchronized round-based model of distributed computing, Information and Computation, v.205 n.5, p.783-815, May, 2007
Sandy Citro , Jim McGovern , Caspar Ryan, Conflict management for real-time collaborative editing in mobile replicated architectures, Proceedings of the thirtieth Australasian conference on Computer science, p.115-124, January 30-February 02, 2007, Ballarat, Victoria, Australia
Alessandro Tiberi, Probabilistic Configuration Theories, Electronic Notes in Theoretical Computer Science (ENTCS), v.174 n.8, p.95-108, June, 2007
Tom Chothia , Dominic Duggan, Capability passing processes, Science of Computer Programming, v.66 n.3, p.184-204, May, 2007
Benjamin Satzger , Andreas Pietzowski , Wolfgang Trumler , Theo Ungerer, A new adaptive accrual failure detector for dependable distributed systems, Proceedings of the 2007 ACM symposium on Applied computing, March 11-15, 2007, Seoul, Korea
Michel Raynal , Gadi Taubenfeld, The notion of a timed register and its application to indulgent synchronization, Proceedings of the nineteenth annual ACM symposium on Parallel algorithms and architectures, June 09-11, 2007, San Diego, California, USA
Meng Yu , Peng Liu , Wanyu Zang, Specifying and using intrusion masking models to process distributed operations, Journal of Computer Security, v.13 n.4, p.623-658, July 2005
Amos Korman , Shay Kutten, Controller and estimator for dynamic networks, Proceedings of the twenty-sixth annual ACM symposium on Principles of distributed computing, August 12-15, 2007, Portland, Oregon, USA
Xianbing Wang , Yong Meng Teo , Jiannong Cao, Message and time efficient consensus protocols for synchronous distributed systems, Journal of Parallel and Distributed Computing, v.68 n.5, p.641-654, May, 2008
W. Hoarau , S. Tixeuil, A Language-Driven Tool for Fault Injection in Distributed Systems, Proceedings of the 6th IEEE/ACM International Workshop on Grid Computing, p.194-201, November 13-14, 2005
Hagit Attiya , Keren Censor, Tight bounds for asynchronous randomized consensus, Proceedings of the thirty-ninth annual ACM symposium on Theory of computing, June 11-13, 2007, San Diego, California, USA
Ö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
Colin Allison, Quality of service for wide area clusters, Proceedings of the 8th ACM SIGOPS European workshop on Support for composing distributed applications, p.126-129, September 1998, Sintra, Portugal
Rohit Khare , Richard N. Taylor, Extending the Representational State Transfer (REST) Architectural Style for Decentralized Systems, Proceedings of the 26th International Conference on Software Engineering, p.428-437, May 23-28, 2004
Wenyu Qu , Masaru Kitsuregawa , Hong Shen , Zhiguang Shan, A novel fault-tolerant execution model by using of mobile agents, Journal of Network and Computer Applications, v.32 n.2, p.423-432, March, 2009
Achour Mostefaoui , Sergio Rajsbaum , Michel Raynal, Conditions on input vectors for consensus solvability in asynchronous distributed systems, Proceedings of the thirty-third annual ACM symposium on Theory of computing, p.153-162, July 2001, Hersonissos, Greece
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
Samir Djilali , Thomas Herault , Oleg Lodygensky , Tangui Morlier , Gilles Fedak , Franck Cappello, RPC-V: Toward Fault-Tolerant RPC for Internet Connected Desktop Grids with Volatile Nodes, Proceedings of the 2004 ACM/IEEE conference on Supercomputing, p.39, November 06-12, 2004
Weijia Jia , Weiming Zhang, Object-Oriented Design of QoS Multicast Communications, Cluster Computing, v.4 n.3, p.211-220, July 2001
Özalp Babaoğlu , André Schiper, On group communication in large-scale distributed systems, ACM SIGOPS Operating Systems Review, v.29 n.1, p.62-67, Jan. 1995
J. Nehmer , T. Becker, A fault tolerance approach for distributed ISDN control systems, ACM SIGOPS Operating Systems Review, v.25 n.2, p.126-129, April 1991
Paul Stelling , Cheryl DeMatteis , Ian Foster , Carl Kesselman , Craig Lee , Gregor von Laszewski, A fault detection service for wide area distributed computations, Cluster Computing, v.2 n.2, p.117-128, 1999
Chi Ho , Robbert van Renesse , Mark Bickford , Danny Dolev, Nysiad: practical protocol transformation to tolerate Byzantine failures, Proceedings of the 5th USENIX Symposium on Networked Systems Design and Implementation, p.175-188, April 16-18, 2008, San Francisco, California
Gustavo M. D. Vieira , Luiz E. Buzato, On the coordinator's rule for Fast Paxos, Information Processing Letters, v.107 n.5, p.183-187, August, 2008
Achour Mostefaoui , Michel Raynal , Corentin Travers, Time-Free and Timer-Based Assumptions Can Be Combined to Obtain Eventual Leadership, IEEE Transactions on Parallel and Distributed Systems, v.17 n.7, p.656-666, July 2006
Rachid Guerraoui , Petr Kuznetsov, The gap in circumventing the impossibility of consensus, Journal of Computer and System Sciences, v.74 n.5, p.823-830, August, 2008
Carlo Marchetti , Roberto Baldoni , Sara Tucci-Piergiovanni , Antonino Virgillito, Fully Distributed Three-Tier Active Software Replication, IEEE Transactions on Parallel and Distributed Systems, v.17 n.7, p.633-645, July 2006
Taisuke Izumi , Toshimitsu Masuzawa, Condition Adaptation in Synchronous Consensus, IEEE Transactions on Computers, v.55 n.7, p.843-853, July 2006
Udo Fritzke , Philippe Ingels , Achour Mostefaoui , Michel Raynal, Consensus-Based Fault-Tolerant Total Order Multicast, IEEE Transactions on Parallel and Distributed Systems, v.12 n.2, p.147-156, February 2001
Udo Fritzke, Jr. , Rodrigo Pereira Valentim , Luiz Alberto Ferreira Gomes, Adaptive replication control based on consensus, Proceedings of the 2nd workshop on Dependable distributed data management, p.1-10, March 31-31, 2008, Glasgow, Scotland
Jean-Philippe Martin , Lorenzo Alvisi, Fast Byzantine Consensus, IEEE Transactions on Dependable and Secure Computing, v.3 n.3, p.202-215, July 2006
Francesco Quaglia , Paolo Romano, Ensuring e-Transaction with Asynchronous and Uncoordinated Application Server Replicas, IEEE Transactions on Parallel and Distributed Systems, v.18 n.3, p.364-378, March 2007
Roy Friedman , Anne-Marie Kermarrec , Michel Raynal, Modularity: a first class concept to address distributed systems, ACM SIGACT News, v.39 n.2, June 2008
Hagit Attiya , Keren Censor, Lower bounds for randomized consensus under a weak adversary, Proceedings of the twenty-seventh ACM symposium on Principles of distributed computing, August 18-21, 2008, Toronto, Canada
James Aspnes , Keren Censor, Approximate shared-memory counting despite a strong adversary, Proceedings of the Nineteenth Annual ACM -SIAM Symposium on Discrete Algorithms, p.441-450, January 04-06, 2009, New York, New York
Phuong Hoai Ha , Philippas Tsigas , Otto J. Anshus, Wait-free programming for general purpose computations on graphics processors, Proceedings of the twenty-seventh ACM symposium on Principles of distributed computing, August 18-21, 2008, Toronto, Canada
Louis K. Helm, Quantum distributed consensus, Proceedings of the twenty-seventh ACM symposium on Principles of distributed computing, August 18-21, 2008, Toronto, Canada
Rachid Guerraoui , Maurice Herlihy , Petr Kouznetsov , Nancy Lynch , Calvin Newport, On the weakest failure detector ever, Proceedings of the twenty-sixth annual ACM symposium on Principles of distributed computing, August 12-15, 2007, Portland, Oregon, USA
Mike Burrows, The Chubby lock service for loosely-coupled distributed systems, Proceedings of the 7th symposium on Operating systems design and implementation, November 06-08, 2006, Seattle, Washington
Laukik Chitnis , Alin Dobra , Sanjay Ranka, Aggregation methods for large-scale sensor networks, ACM Transactions on Sensor Networks (TOSN), v.4 n.2, p.1-36, March 2008
Lásaro Jonas Camargos , Rodrigo Malta Schmidt , Fernando Pedone, Multicoordinated Paxos, Proceedings of the twenty-sixth annual ACM symposium on Principles of distributed computing, August 12-15, 2007, Portland, Oregon, USA
Nicola Santoro , Peter Widmayer, Agreement in synchronous networks with ubiquitous faults, Theoretical Computer Science, v.384 n.2-3, p.232-249, October, 2007
Stefan Dobrev , Rastislav Královi , Richard Královi , Nicola Santoro, On fractional dynamic faults with thresholds, Theoretical Computer Science, v.399 n.1-2, p.101-117, June, 2008
Ioannis Krontiris , Thanassis Giannetsos , Tassos Dimitriou, LIDeA: a distributed lightweight intrusion detection architecture for sensor networks, Proceedings of the 4th international conference on Security and privacy in communication netowrks, September 22-25, 2008, Istanbul, Turkey
Chryssis Georgiou , Seth Gilbert , Rachid Guerraoui , Dariusz R. Kowalski, On the complexity of asynchronous gossip, Proceedings of the twenty-seventh ACM symposium on Principles of distributed computing, August 18-21, 2008, Toronto, Canada
Jinho Ahn, Effective service replication mechanisms exploiting agent mobility, Proceedings of the 7th WSEAS International Conference on Software Engineering, Parallel and Distributed Systems, p.74-79, February 20-22, 2008, Cambridge, UK
Ramakrishna Kotla , Allen Clement , Edmund Wong , Lorenzo Alvisi , Mike Dahlin, Zyzzyva: speculative Byzantine fault tolerance, Communications of the ACM, v.51 n.11, November 2008
Weigang Wu , Jiannong Cao , Jin Yang , Michel Raynal, Design and Performance Evaluation of Efficient Consensus Protocols for Mobile Ad Hoc Networks, IEEE Transactions on Computers, v.56 n.8, p.1055-1070, August 2007
Mohssen Abboud , Carole Delporte-Gallet , Hugues Fauconnier, Agreement without knowing everybody: a first step to dynamicity, Proceedings of the 8th international conference on New technologies in distributed systems, June 23-27, 2008, Lyon, France
Sergio Rajsbaum , Michel Raynal , Corentin Travers, An impossibility about failure detectors in the iterated immediate snapshot model, Information Processing Letters, v.108 n.3, p.160-164, October, 2008
Ittai Abraham , Danny Dolev , Joseph Y. Halpern, An almost-surely terminating polynomial protocol forasynchronous byzantine agreement with optimal resilience, Proceedings of the twenty-seventh ACM symposium on Principles of distributed computing, August 18-21, 2008, Toronto, Canada
Joseph Y. Halpern, Beyond nash equilibrium: solution concepts for the 21st century, Proceedings of the twenty-seventh ACM symposium on Principles of distributed computing, p.1-10, August 18-21, 2008, Toronto, Canada
Piotr Zielinski, Anti-Ω: the weakest failure detector for set agreement, Proceedings of the twenty-seventh ACM symposium on Principles of distributed computing, August 18-21, 2008, Toronto, Canada
Rachid Guerraoui , Michal Kapalka, On obstruction-free transactions, Proceedings of the twentieth annual symposium on Parallelism in algorithms and architectures, June 14-16, 2008, Munich, Germany
Bogdan S. Chlebus , Dariusz R. Kowalski, Asynchronous exclusive selection, Proceedings of the twenty-seventh ACM symposium on Principles of distributed computing, August 18-21, 2008, Toronto, Canada
Evan P. C. Jones , Lily Li , Jakub K. Schmidtke , Paul A. S. Ward, Practical Routing in Delay-Tolerant Networks, IEEE Transactions on Mobile Computing, v.6 n.8, p.943-959, August 2007
Roy Friedman , Achour Mostefaoui , Michel Raynal, On the Respective Power of ◊P and ◊S to Solve One-Shot Agreement Problems, IEEE Transactions on Parallel and Distributed Systems, v.18 n.5, p.589-597, May 2007
Roy Friedman , Achour Mostefaoui , Sergio Rajsbaum , Michel Raynal, Asynchronous Agreement and Its Relation with Error-Correcting Codes, IEEE Transactions on Computers, v.56 n.7, p.865-875, July 2007
Sergio Gorender , Raimundo Jose de Araujo Macedo , Michel Raynal, An Adaptive Programming Model for Fault-Tolerant Distributed Computing, IEEE Transactions on Dependable and Secure Computing, v.4 n.1, p.18-31, January 2007
Volkan Rodoplu , Amir Aminzadeh Gohari , Wei Tang, Towards automated design of MAC protocols for underwater wireless networks, Proceedings of the third ACM international workshop on Wireless network testbeds, experimental evaluation and characterization, September 15-15, 2008, San Francisco, California, USA
Laurent George , Pascale Minet, Preserving the consistency of distributed objects with real-time transactions, Proceedings of the 8th international conference on New technologies in distributed systems, June 23-27, 2008, Lyon, France
Hagit Attiya , Keren Censor, Tight bounds for asynchronous randomized consensus, Journal of the ACM (JACM), v.55 n.5, p.1-26, October 2008
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
Mohssen Abboud , Carole Delporte-Gallet , Hugues Fauconnier, Agreement and consistency without knowing the number of processes, Proceedings of the 8th international conference on New technologies in distributed systems, June 23-27, 2008, Lyon, France
James Aspnes , Hagit Attiya , Keren Censor, Randomized consensus in expected O(n log n) individual work, Proceedings of the twenty-seventh ACM symposium on Principles of distributed computing, August 18-21, 2008, Toronto, Canada
Miguel Correia , Alysson Neves Bessani , Paulo Veríssimo, Research note: On Byzantine generals with alternative plans, Journal of Parallel and Distributed Computing, v.68 n.9, p.1291-1296, September, 2008
Mohammad Torabi Dashti , Srijith Krishnan Nair , Hugo Jonker, Nuovo DRM Paradiso: Designing a Secure, Verified, Fair Exchange DRM Scheme, Fundamenta Informaticae, v.89 n.4, p.393-417, January 2009
R. Guerraoui , N. Lynch, A general characterization of indulgence, ACM Transactions on Autonomous and Adaptive Systems (TAAS), v.3 n.4, p.1-19, November 2008
Hein Meling , Alberto Montresor , Bjarne E. Helvik , Ozalp Babaoglu, Jgroup-ARM: a distributed object group platform with autonomous replication management, Software—Practice & Experience, v.38 n.9, p.885-923, July 2008
Martin Biely , Josef Widder, Optimal message-driven implementations of omega with mute processes, ACM Transactions on Autonomous and Adaptive Systems (TAAS), v.4 n.1, p.1-22, January 2009
Sergio Mena , André Schiper , Pawel Wojciechowski, A step towards a new generation of group communication systems, Proceedings of the ACM/IFIP/USENIX 2003 International Conference on Middleware, June 16-20, 2003, Rio de Janeiro, Brazil
Rachid Guerraoui , Bastian Pochon, The Complexity of Early Deciding Set Agreement: How can Topology help?, Electronic Notes in Theoretical Computer Science (ENTCS), 230, p.71-78, March, 2009
Andrey Ermolinskiy , Daekyeong Moon , Byung-Gon Chun , Scott Shenker, Minuet: rethinking concurrency control in storage area networks, Proccedings of the 7th conference on File and stroage technologies, p.311-324, February 24-27, 2009, San Francisco, California
Rachid Guerraoui , Maurice Herlihy , Bastian Pochon, A topological treatment of early-deciding set-agreement, Theoretical Computer Science, v.410 n.6-7, p.570-580, February, 2009
Jos Marlowe , Doug Lea , Malcolm Atkinson, Distributed systems, Encyclopedia of Computer Science, 4th edition, John Wiley and Sons Ltd., Chichester, 2003
Xingwu Liu , Zhiwei Xu , Jianzhong Pan, Classifying rendezvous tasks of arbitrary dimension, Theoretical Computer Science, v.410 n.21-23, p.2162-2173, May, 2009
Juan Carlos García , Stefan Beyer , Pablo Galdámez, Cross-layer cooperation between membership estimation and routing, Proceedings of the 2009 ACM symposium on Applied Computing, March 08-12, 2009, Honolulu, Hawaii
Lior Davidovitch , Shlomi Dolev , Sergio Rajsbaum, Stability of Multi-Valued Continuous Consensus11Preliminary Version, Some proofs are omitted from this version., Electronic Notes in Theoretical Computer Science (ENTCS), 230, p.23-38, March, 2009
Yoram Moses , Michel Raynal, Revisiting simultaneous consensus with crash failures, Journal of Parallel and Distributed Computing, v.69 n.4, p.400-409, April, 2009
Rastislav Královi , Richard Královi, Rapid almost-complete broadcasting in faulty networks, Theoretical Computer Science, v.410 n.14, p.1377-1387, March, 2009
Lorenz Froihofer , Karl M. Goeschka , Johannes Osrael, Middleware support for adaptive dependability, Proceedings of the ACM/IFIP/USENIX 2007 International Conference on Middleware, November 26-30, 2007, Newport Beach, California
Danny Hendler, Book review of synchronization algorithms and concurrent programming by Gadi Taubenfeld (Pearson/Prentice Hall, 2006), ACM SIGACT News, v.40 n.1, March 2009
Eli Gafni, The extended BG-simulation and the characterization of t-resiliency, Proceedings of the 41st annual ACM symposium on Theory of computing, May 31-June 02, 2009, Bethesda, MD, USA
Allen Clement , Edmund Wong , Lorenzo Alvisi , Mike Dahlin , Mirco Marchetti, Making Byzantine fault tolerant systems tolerate Byzantine faults, Proceedings of the 6th USENIX symposium on Networked systems design and implementation, p.153-168, 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
Andre Schiper , Sam Toueg, From Set Membership to Group Membership: A Separation of Concerns, IEEE Transactions on Dependable and Secure Computing, v.3 n.1, p.2, January 2006
Naohiro Hayashibara , Makoto Takizawa, Design of the notification system for failure detectors, International Journal of High Performance Computing and Networking, v.6 n.1, p.25-34, June 2009
Jialin Zhang , Wei Chen, Bounded cost algorithms for multivalued consensus using binary consensus instances, Information Processing Letters, v.109 n.17, p.1005-1009, August, 2009
Marcos K. Aguilera , Ram Swaminathan, Remote storage with byzantine servers, Proceedings of the twenty-first annual symposium on Parallelism in algorithms and architectures, August 11-13, 2009, Calgary, AB, Canada
Xianbing Wang , Yong Meng Teo, Global data computation in chordal rings, Journal of Parallel and Distributed Computing, v.69 n.8, p.725-736, August, 2009
Vibhor Bhatt , Nicholas Christman , Prasad Jayanti, Extracting quorum failure detectors, Proceedings of the 28th ACM symposium on Principles of distributed computing, August 10-12, 2009, Calgary, AB, Canada
Bertrand Ducourthial, About efficiency in wireless communication frameworks on vehicular networks, The First International Workshop on Wireless Networking for Intelligent Transportation Systems, p.1-9, August 14-17, 2007, Vancouver, Canada
Tsz-Chiu Au , Dana Nau, The Incompleteness of Planning with Volatile External Information, Proceeding of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy, p.839-840, May 22, 2006
Bogdan S. Chlebus , Dariusz R. Kowalski , Michal Strojnowski, Fast scalable deterministic consensus for crash failures, Proceedings of the 28th ACM symposium on Principles of distributed computing, August 10-12, 2009, Calgary, AB, Canada
Prasant Gopal Anumanchipalli , Anuj Gupta , Pranav K. Vasishta , Piyush Bansal , Kannan Srinathan, Brief announcement: global consistency can be easier than point-to-point communication, Proceedings of the 28th ACM symposium on Principles of distributed computing, August 10-12, 2009, Calgary, AB, Canada
Arpita Patra , Ashish Choudhary , Chandrasekharan Pandu Rangan, Simple and efficient asynchronous byzantine agreement with optimal resilience, Proceedings of the 28th ACM symposium on Principles of distributed computing, August 10-12, 2009, Calgary, AB, Canada
François Bonnet , Michel Raynal, Brief announcement: the price of anonymity: optimal consensus despite asynchrony, crash and anonymity, Proceedings of the 28th ACM symposium on Principles of distributed computing, August 10-12, 2009, Calgary, AB, Canada
Marcos K. Aguilera , Carole Delporte-Gallet , Hugues Fauconnier , Sam Toueg, Partial synchrony based on set timeliness, Proceedings of the 28th ACM symposium on Principles of distributed computing, August 10-12, 2009, Calgary, AB, Canada
Antonio Fernandez Anta , Sergio Rajsbaum , Corentin Travers, Brief announcement: weakest failure detectors via an egg-laying simulation, Proceedings of the 28th ACM symposium on Principles of distributed computing, August 10-12, 2009, Calgary, AB, Canada
Bogdan S. Chlebus , Dariusz R. Kowalski, Locally scalable randomized consensus for synchronous crash failures, Proceedings of the twenty-first annual symposium on Parallelism in algorithms and architectures, August 11-13, 2009, Calgary, AB, Canada
Maxim Gurevich , Idit Keidar, Correctness of gossip-based membership under message loss, Proceedings of the 28th ACM symposium on Principles of distributed computing, August 10-12, 2009, Calgary, AB, Canada
Eli Gafni , Petr Kuznetsov, The weakest failure detector for solving k-set agreement, Proceedings of the 28th ACM symposium on Principles of distributed computing, August 10-12, 2009, Calgary, AB, Canada
Achour Mostéfaoui , Michel Raynal , Corentin Travers, Narrowing power vs efficiency in synchronous set agreement: Relationship, algorithms and lower bound, Theoretical Computer Science, v.411 n.1, p.58-69, January, 2010
Nuno F. Neves , Miguel Correia , Paulo Verissimo, Solving Vector Consensus with a Wormhole, IEEE Transactions on Parallel and Distributed Systems, v.16 n.12, p.1120-1131, December 2005
Naixue Xiong , Athanasios V. Vasilakos , Laurence T. Yang , Lingyang Song , Yi Pan , Rajgopal Kannan , Yingshu Li, Comparative analysis of quality of service and memory usage for adaptive failure detectors in healthcare systems, IEEE Journal on Selected Areas in Communications, v.27 n.4, p.495-509, May 2009
Hagit Attiya , Rachid Guerraoui , Danny Hendler , Petr Kuznetsov, The complexity of obstruction-free implementations, Journal of the ACM (JACM), v.56 n.4, p.1-33, June 2009
K. Q. Yan , S. C. Wang, Grouping Byzantine Agreement, Computer Standards & Interfaces, v.28 n.1, p.75-92, July, 2005
Jialin Zhang , Wei Chen, Implementing uniform reliable broadcast with binary consensus in systems with fair-lossy links, Information Processing Letters, v.110 n.1, p.13-19, December, 2009
Adriano Fagiolini , Simone Martini , Antonio Bicchi, Set-valued consensus for distributed clock synchronization, Proceedings of the fifth annual IEEE international conference on Automation science and engineering, p.116-121, August 22-25, 2009, Bangalore, India
Robbert van Renesse , Yaron Minsky , Mark Hayden, A gossip-style failure detection service, Proceedings of the IFIP International Conference on Distributed Systems Platforms and Open Distributed Processing, September 01-01, 1998, The Lake District, United Kingdom
Krzysztof Ostrowski , Ken Birman , Danny Dolev , Chuck Sakoda, Implementing reliable event streams in large systems via distributed data flows and recursive delegation, Proceedings of the Third ACM International Conference on Distributed Event-Based Systems, July 06-09, 2009, Nashville, Tennessee
Rajesh Krishnan , David Starobinski, Efficient clustering algorithms for self-organizing wireless sensor networks, Ad Hoc Networks, v.4 n.1, p.36-59, January, 2006
Kiyong Kim , Yeonseung Ryu , Jong-myung Rhee , Dong-ho Lee, SAFE: scalable autonomous fault-tolerant Ethernet, Proceedings of the 11th international conference on Advanced Communication Technology, p.365-369, February 15-18, 2009, Gangwon-Do, South Korea

INDEX TERMS

Primary Classification:
  C. Computer Systems Organization
  C.2 COMPUTER-COMMUNICATION NETWORKS

Additional Classification:
  C. Computer Systems Organization


General Terms:
Algorithms, Management, Performance, Reliability, Standardization, Theory, Verification

Collaborative Colleagues:
Michael J. Fischer: colleagues
Nancy A. Lynch: colleagues
Michael S. Paterson: colleagues

The ACM Portal is published by the Association for Computing Machinery. Copyright © 2010 ACM, Inc.
Terms of Usage   Privacy Policy   Code of Ethics   Contact Us

Useful downloads: Adobe Acrobat    QuickTime    Windows Media Player    Real Player