165 search results - page 1 / 33 » Safety-Liveness Exclusion in Distributed Computing |
ARCS
2006
Springer
13 years 8 months ago
2006
Springer
Abstract: We present a formal framework to talk and reason about dependable systems. The framework is based on three distinct classes of (system specification) properties we call s...
PODC
2011
ACM
12 years 7 months ago
2011
ACM
ICDCS
1999
IEEE
13 years 8 months ago
1999
IEEE
PODC
2006
ACM
13 years 10 months ago
2006
ACM
TC
2002
13 years 3 months ago
2002
We investigate whether asynchronous computational models and asynchronous algorithms can be considered for designing real-time distributed fault-tolerant systems. A priori, the lac...