Thomas A. Joseph

Publication Activity (10 Years)

Years Active: 1984-1987
Publications (10 Years): 0

Publications

Kenneth P. Birman, Thomas A. Joseph
Exploiting Virtual Synchrony in Distributed Systems. SOSP (1987)
Kenneth P. Birman, Thomas A. Joseph
Reliable Communication in the Presence of Failures. ACM Trans. Comput. Syst. 5 (1) (1987)
Kenneth P. Birman, Thomas A. Joseph
On communication support for fault tolerant process groups. RFC 992 (1986)
Thomas A. Joseph, Kenneth P. Birman
Low Cost Management of Replicated Data in Fault-Tolerant Distributed Systems. ACM Trans. Comput. Syst. 4 (1) (1986)
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) (1986)
Kenneth P. Birman, Thomas A. Joseph
Communication Support for Reliable Distributed Computing. Fault-Tolerant Distributed Computing (1986)
Kenneth P. Birman, Thomas A. Joseph, Thomas Räuchle, Amr El Abbadi
Implementing Fault-Tolerant Distributed Objects. IEEE Trans. Software Eng. 11 (6) (1985)
Kenneth P. Birman, Thomas A. Joseph, Thomas Räuchle
Extending resilient objets efficiently. Fehlertolerierende Rechensysteme (1984)
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)