|
СТ |
Message Logging: Pessimistic, Optimistic, Causal, and Optimal |
1998 |
Alvisi L., Marzullo K. |
|
|
|
IEEE Trans. on Software Engineering |
29.05.1998 |
|
СТ |
New Applications for Group Computing |
1994 |
Van Renesse R., Birman K., Von Eicken T., Marzullo K. |
Lecture Notes in Computer Science |
|
|
Theory and Practice in Distributed Systems |
27.08.1995 |
|
СТ |
Deriving Optimal Checkpoint Protocols for Distributed Shared Memory Architectures |
1994 |
Alvisi L., Marzullo K. |
Lecture Notes in Computer Science |
|
|
Theory and Practice in Distributed Systems |
27.08.1995 |
|
СТ |
High Availability in a Real-Time System |
1993 |
Almeida C., Glade B., Marzullo K. |
|
|
|
Operating Systems Review |
29.04.1993 |
|
СТ |
Optimal Primary-Backup Protocols |
1992 |
Budhiraja N., Marzullo K., Schneider F. B., Toueg S. |
|
|
|
Lecture Notes in Computer Science |
28.11.1992 |
|
СТ |
Putting Time into Proof Outlines |
1992 |
Schneider F. B., Bloom B., Marzullo K. |
|
|
|
Lecture Notes in Computer Science |
08.08.1992 |
|
СТ |
Consistent Detection of Clobal Predicates |
1991 |
Cooper R., Marzullo K. |
|
|
|
SIGPLAN Notices |
25.02.1992 |
