Sciweavers

PODC
1991
ACM
13 years 10 months ago
Randomized Wait-Free Concurrent Objects (Extended Abstract)
d abstract) Maurice Herlihy Digital Equipment Corporation Cambridge Research Laboratory One Kendall Square Cambridge MA, 02139 Digital Equipment Corporation Cambridge Research Lab ...
Maurice Herlihy
PODC
1991
ACM
13 years 10 months ago
Resource Bounds for Self Stabilizing Message Driven Protocols
Abstract. Self-stabilizing message driven protocols are deļ¬ned and discussed. The class weakexclusion that contains many natural tasks such as -exclusion and token-passing is deļ...
Shlomi Dolev, Amos Israeli, Shlomo Moran
PODC
1991
ACM
13 years 10 months ago
The Benefits of Relaxing Punctuality
Rajeev Alur, Tomás Feder, Thomas A. Henzing...