Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

9

CONCUR
2003
Springer

favoriteEmaildiscussreport

99views Distributed And Parallel Com...» more CONCUR 2003»

Modeling Consensus in a Process Calculus

13 years 9 months ago

Modeling Consensus in a Process Calculus

Download lampwww.epfl.ch

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 satisﬁes its speciﬁcation.

Uwe Nestmann, Rachele Fuzzati, Massimo Merro

Real-time Traffic

CONCUR 2003 | Failure Detectors | Process Calculus Model | Wellknown Algorithm |

claim paper

Related Content

» A consensus model for multiperson decision making with different preference structures

» A Core Calculus for Provenance

» Modelling Fusion Calculus using HDAutomata

» CCA A Calculus of ContextAware Ambients

» A Calculus of Coroutines

» Asynchronous Byzantine consensus with 2f1 processes

» Consensus Training for Consensus Decoding in Machine Translation

» A New Adaptive Consensus Reaching Process Based on the Experts Importance

» Consensus ontologies in socially interacting MultiAgent systems

Post Info
More Details (n/a)

Added	06 Jul 2010
Updated	06 Jul 2010
Type	Conference
Year	2003
Where	CONCUR
Authors	Uwe Nestmann, Rachele Fuzzati, Massimo Merro

Comments (0)