359 search results - page 1 / 72 » Modeling Consensus in a Process Calculus |
86
Voted
CONCUR
2003
Springer
15 years 6 months ago
2003
Springer
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 failur...
101
Voted
TSMC
2002
15 years 13 days ago
2002
In this paper, we present a consensus model for multiperson decision making (MPDM) problems with different preference structures based on two consensus criteria: 1) a consensus mea...
153
Voted
POST
2012
13 years 8 months ago
2012
Provenance is an increasing concern due to the revolution in sharing and processing scientific data on the Web and in other computer systems. It is proposed that many computer sys...
102
Voted
CALCO
2005
Springer
15 years 6 months ago
2005
Springer
We propose a coalgebraic model of the Fusion calculus based on HD-automata. The main advantage of the approach is that the partition refinement algorithm designed for HD-automata ...
112
Voted
AINA
2009
IEEE
15 years 7 months ago
2009
IEEE
We present a process calculus, CCA, for the modelling and verification of mobile systems that are context-aware. This process calculus is built upon the calculus of mobile ambien...