Sciweavers

24554 search results - page 360 / 4911
» Dependable distributed systems
Sort
View
REX
1991
15 years 10 months ago
Timed Transition Systems
Thomas A. Henzinger, Zohar Manna, Amir Pnueli
92
Voted
PODC
1987
ACM
15 years 10 months ago
Quorum Consensus in Nested Transaction Systems
Kenneth J. Goldman, Nancy A. Lynch