Uwe Nestmann, Rachele Fuzzati, and Massimo Merro EPFL, Switzerland...  Home/Search
Context Related
| lamp.epfl.ch/~uwe/...merroconcur03.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: lamp.epfl.ch/~uwe/citations/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We give a process calculus model that formalizes a wellknown algorithm (introduced by Chandra and Toueg) solving consensus in the presence of a particular class of failure detectors (#S); we use our model to formally prove that the algorithm satisfies its specification. (Update)
Cited by: More
Process Calculi for the Foundations of - Peer-To-Peer Systems Johannes (Correct)
An Algebraic Approach to Fault Tolerant Distributed Computing - Fuzzati (2004) (Correct)
Unreliable Failure Detectors - Via Operational Semantics (Correct)
Active bibliography (related documents): More All
0.3: Games Computers Play: Game-Theoretic Aspects of Computing - Linial (1992) (Correct)
0.3: An Efficient Object-Oriented Variation of the Statecharts.. - Selic (1993) (Correct)
0.1: Information Societies Technology - Ist Programme Contract (Correct)
Similar documents based on text: More All
0.4: Aliasing Models for Object Migration - Nestmann, Hüttel, Kleist, Merro (1999) (Correct)
0.3: Local pi-Calculus at Work: Mobile Objects as Mobile Processes - Merro, Kleist, Nestmann (Correct)
0.3: Mobile Objects as Mobile Processes - Merro, Kleist, Nestmann (2001) (Correct)
Related documents from co-citation: More All
2: Unreliable failure detectors for reliable distributed systems - Chandra, Toueg - 1996
2: The Weakest Failure Detector for Solving Consensus - Chandra, Hadzilacos et al. - 1992
2: Unreliable Failure Detectors via Operational Semantics (context) - Nestmann, Fuzzati - 2003
BibTeX entry: (Update)
U. Nestmann, R. Fuzzati and M. Merro. Modeling Consensus in a Process Calculus. In R. Amadio and D. Lugiez, eds, Proceedings of CONCUR 2003, volume 2761 of LNCS, pages 399--414. Springer, Aug. 2003. http://citeseer.ist.psu.edu/nestmann03modeling.html More
@misc{ nestmann03modeling,
author = "U. Nestmann and R. Fuzzati and M. Merro",
title = "Modeling Consensus in a Process Calculus",
text = "U. Nestmann, R. Fuzzati and M. Merro. Modeling Consensus in a Process Calculus.
In R. Amadio and D. Lugiez, eds, Proceedings of CONCUR 2003, volume 2761
of LNCS, pages 399--414. Springer, Aug. 2003.",
year = "2003",
url = "citeseer.ist.psu.edu/nestmann03modeling.html" }
Citations (may not include all citations):414 Unreliable Failure Detectors for Reliable Distributed System.. - Chandra, Toueg - 1996
175 The Weakest Failure Detector for Solving Consensus - Chandra, Hadzilacos et al. - 1996
109 Theoretical Computer Science (context) - Riely, Hennessy et al. - 2001
56 Nomadic Pict: Language and Infrastructure Design for Mobile .. - Wojciechowski, Sewell - 2000
14 Verification of the Randomized Consensus Algorithm of Aspnes.. - Pogosyants, Segala et al. - 2000
10 The Two-Phase Commitment Protocol in an Extended pi-Calculus - Berger, Honda - 2000
3 Impossibility of Distributed Concensus with One Faulty Proce.. (context) - Fisher, Lynch et al. - 1985
Documents on the same site (http://lamp.epfl.ch/~uwe/citations/): More
On the Generalized Dining Philosophers Problem - Herescu, Palamidessi (2001) (Correct)
Asynchronous process calculi: the first-order and higher-order.. - Sangiorgi (1999) (Correct)
Comparing the Expressive Power of the Synchronous and the.. - Palamidessi (1997) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC