| 
| |  | |  |
Logical Logging to Extend Recovery to New Domains
Note: Links lead to the DBLP on the Web.
Mark R. Tuttle
16
David B. Lomet
, Mark R. Tuttle: Logical Logging to Extend Recovery to New Domains.
SIGMOD Conference 1999
: 73-84
15
Soma Chaudhuri
,
Maurice Herlihy
, Mark R. Tuttle: Wait-Free Implementations in Message-Passing Systems.
TCS 220
(1): 211-245 (1999)
14
Maurice Herlihy
,
Sergio Rajsbaum
, Mark R. Tuttle: Unifying Synchronous and Asynchronous Message-Passing Models.
PODC 1998
: 133-142
13
David B. Lomet
, Mark R. Tuttle: Redo Recovery after System Crashes.
VLDB 1995
: 457-468
12
Soma Chaudhuri
, Mark R. Tuttle: Fast Increment Registers.
WDAG 1994
: 74-88
11
Soma Chaudhuri
,
Maurice Herlihy
,
Nancy A. Lynch
, Mark R. Tuttle: A Tight Lower Bound for k-Set Agreement.
FOCS 1993
: 206-215
10
Gil Neiger
, Mark R. Tuttle: Common Knowledge and Consistent Simultaneous Coordination.
Distributed Computing 6
(3): 181-192 (1993)
9
Joseph Y. Halpern
, Mark R. Tuttle: Knowledge, Probability, and Adversaries.
JACM 40
(4): 917-962 (1993)
8
Martín Abadi
, Mark R. Tuttle: A Semantics for a Logic of Authentication (Extended Abstract).
PODC 1991
: 201-216
7
Maurice Herlihy
, Mark R. Tuttle: Lower Bounds for Wait-Free Computation in Message-Passing Systems.
PODC 1990
: 347-362
6
Gil Neiger
, Mark R. Tuttle: Common Knowledge and Consistent Simultaneous Coordination.
WDAG 1990
: 334-352
5
Joseph Y. Halpern
, Mark R. Tuttle: Knowledge, Probability, and Adversaries.
PODC 1989
: 103-118
4
Joseph Y. Halpern
,
Yoram Moses
, Mark R. Tuttle: A Knowledge-Based Analysis of Zero Knowledge (Preliminary Report).
STOC 1988
: 132-147
3
Yoram Moses
, Mark R. Tuttle: Programming Simultaneous Actions Using Common Knowledge.
Algorithmica 3
: 121-169 (1988)
2
Nancy A. Lynch
, Mark R. Tuttle: Hierarchical Correctness Proofs for Distributed Algorithms.
PODC 1987
: 137-151
1
Yoram Moses
, Mark R. Tuttle: Programming Simultaneous Actions Using Common Knowledge: Preliminary Version.
FOCS 1986
: 208-221
Copyright(C) 2000 ACM | | | | | | |
