246 search results - page 10 / 50 » A Proof System for Asynchronously Communicating Deterministi... |
LADC
2005
Springer
14 years 1 months ago
2005
Springer
We present a framework for building fail-safe hard real-time applications in timed asynchronous distributed systems subject to communication partitions and performance, omission, ...
WDAG
1997
Springer
13 years 11 months ago
1997
Springer
Abstract. We study the problem of achieving reliable communication with quiescent algorithms (i.e., algorithms that eventually stop sending messages) in asynchronous systems with p...
PODC
1996
ACM
13 years 11 months ago
1996
ACM
We address the problem of the impossibility of implementing synchronous fault-tolerant service specifications in asynchronous distributed systems. We introduce a method for weaken...
SEUS
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract. Describing parallel hardware and software is difficult, especially in an embedded setting. Five years ago, we started the shim project to address this challenge by develo...
ECOOP
1995
Springer
13 years 11 months ago
1995
Springer
Abstract. This paper presents a framework of specification and verification for distributed real-time object-oriented systems. An earlier paper [17] introduced a process calculus...