7992 search results - page 7 / 1599 » Communication Abstractions for Distributed Systems |
CONCUR
1998
Springer
13 years 11 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 ...
CONCUR
2000
Springer
13 years 11 months ago
2000
Springer
Concurrency is an essential element of abstract models for embedded systems. Correctness and e ciency of the design depend critically on the way concurrency is formalized and imple...
SOSP
2001
ACM
14 years 4 months ago
2001
ACM
ing Abstraction to Improve Fault Tolerance MIGUEL CASTRO Microsoft Research and RODRIGO RODRIGUES and BARBARA LISKOV MIT Laboratory for Computer Science Software errors are a major...
ETFA
2005
IEEE
14 years 1 months ago
2005
IEEE
This paper explains the modelling of distributed discrete-event systems in one single simulation model. Our purpose was to evaluate the design of the distributed system and to hig...
CACM
1999
13 years 7 months ago
1999
centralized abstractions. The metaphor of a community of independent objects communicating by passing messages is misleading and dangerous when thinking in terms of a distributed s...