PODC
14 years 1 months ago
1994 ACM
The notion of belief has been useful in reasoning about authentication protocols. In this paper, we show how the notion of belief can be applied to reasoning about cache coherence...
PODC
14 years 1 months ago
1994 ACM
We describe a method for writing assumption/guarantee specifications of concurrent systems. We also provide a proof rule for reasoning about the composition of these systems. Spec...
PODC
14 years 1 months ago
1994 ACM PODC
14 years 1 months ago
1994 ACM PODC
14 years 1 months ago
1994 ACM
Workstation clusters are becoming an interesting alternative to dedicated multiprocessors. In this environment, the probability of a failure, during an application's executio...
|