359 search results - page 6 / 72 » Modeling Consensus in a Process Calculus |
PODC
2010
ACM
13 years 11 months ago
2010
ACM
We define two new classes of shared-memory objects: ratifiers, which detect agreement, and conciliators, which ensure agreement with some probability. We show that consensus can...
EDCC
2010
Springer
14 years 8 days ago
2010
Springer
: While lots of consensus algorithms have been proposed for crash-prone asynchronous message-passing systems enriched with a failure detector of the class Ω (the class of eventua...
TNN
2008
13 years 7 months ago
2008
Abstract--Despite its great importance, there has been no general consensus on how to model the trends in time
STOC
2001
ACM
14 years 7 months ago
2001
ACM
This article introduces and explores the condition-based approach to solve the consensus problem in asynchronous systems. The approach studies conditions that identify sets of inpu...
ENTCS
2006
13 years 7 months ago
2006
We build a realizability model for linear logic using a name-passing process calculus. The construction is based on testing semantics for processes, drawing ideas from spatial and...