Sciweavers

3 search results - page 1 / 1
» A new look at atomic broadcast in the asynchronous crash-rec...
Sort
View
SRDS
2005
IEEE
13 years 10 months ago
A new look at atomic broadcast in the asynchronous crash-recovery model
Atomic broadcast in particular, and group communication in general, have mainly been specified and implemented in a system model where processes do not recover after a crash. The...
Sergio Mena, André Schiper
SAC
2010
ACM
13 years 11 months ago
Asynchronous Byzantine consensus with 2f+1 processes
Byzantine consensus in asynchronous message-passing systems has been shown to require at least 3f + 1 processes to be solvable in several system models (e.g., with failure detecto...
Miguel Correia, Giuliana Santos Veronese, Lau Cheu...
ENTCS
2006
116views more  ENTCS 2006»
13 years 4 months ago
Stepwise Refinement of Processes
Industry is looking to create a market in reliable "plug-and-play" components. To model components in a modular style it would be useful to combine event-based and state...
Steve Reeves, David Streader