| 1987 |
|---|
| 8 | | Kenneth P. Birman,
Thomas A. Joseph:
Exploiting Virtual Synchrony in Distributed Systems.
SOSP 1987: 123-138 |
| 7 | EE | Kenneth P. Birman,
Thomas A. Joseph:
Reliable Communication in the Presence of Failures.
ACM Trans. Comput. Syst. 5(1): 47-76 (1987) |
| 1986 |
|---|
| 6 | | Kenneth P. Birman,
Thomas A. Joseph:
Communication Support for Reliable Distributed Computing.
Fault-Tolerant Distributed Computing 1986: 124-137 |
| 5 | EE | Thomas A. Joseph,
Kenneth P. Birman:
Low Cost Management of Replicated Data in Fault-Tolerant Distributed Systems.
ACM Trans. Comput. Syst. 4(1): 54-70 (1986) |
| 4 | | Thomas A. Joseph,
Thomas Räuchle,
Sam Toueg:
State Machines and Assertions: An Integrated Approach to Modeling and Verification of Distributed Systems.
Sci. Comput. Program. 7(1): 1-22 (1986) |
| 1985 |
|---|
| 3 | | Kenneth P. Birman,
Thomas A. Joseph,
Thomas Räuchle,
Amr El Abbadi:
Implementing Fault-Tolerant Distributed Objects.
IEEE Trans. Software Eng. 11(6): 502-508 (1985) |
| 1984 |
|---|
| 2 | | Kenneth P. Birman,
Thomas A. Joseph,
Thomas Räuchle:
Extending resilient objets efficiently.
Fehlertolerierende Rechensysteme 1984: 40-51 |
| 1 | | Kenneth P. Birman,
Thomas A. Joseph,
Thomas Räuchle,
Amr El Abbadi:
Implementing Fault-Tolerant Distributed Objects.
Symposium on Reliability in Distributed Software and Database Systems 1984: 124-133 |
