5149 search results - page 38 / 1030 » Timed Asynchronous Distributed Systems |
BIRTHDAY
2003
Springer
14 years 2 months ago
2003
Springer
The problem of cooperatively performing a collection of tasks in a decentralized setting where the computing medium is subject to adversarial perturbations is one of the fundament...
DSN
2007
IEEE
14 years 4 months ago
2007
IEEE
This paper considers the problem of electing an eventual leader in an asynchronous shared memory system. While this problem has received a lot of attention in messagepassing syste...
CONCUR
1998
Springer
14 years 1 months ago
1998
Springer
Abstract. This paper introduces a compositional Hoare logics for reasoning about the correctness of systems composed of a dynamically evolving collection of processes (also called ...
IPPS
1998
IEEE
14 years 1 months ago
1998
IEEE
FM
2006
Springer
14 years 1 months ago
2006
Springer
We propose a new look at one of the most fundamental types of behavioral interfaces: discrete time specifications of communication--directly related to the work of de Alfaro and H...