Thomas Räuchle

According to our database, Thomas Räuchle authored at least 7 papers between 1984 and 1987.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

1987

Efficient Concurrency Control for Libraries of Typed Objects.

Thomas Räuchle

PhD thesis, 1987

Using Data Flow Analysis to Reduce the Cost of Enforcing Consistency.

Thomas Räuchle

Proceedings of the 7th International Conference on Distributed Computing Systems, 1987

1986

State Machines and Assertions: An Integrated Approach to Modeling and Verification of Distributed Systems.

Thomas A. Joseph, Thomas Räuchle, Sam Toueg

Sci. Comput. Program., 1986

1985

Implementing Fault-Tolerant Distributed Objects.

Kenneth P. Birman, Thomas A. Joseph, Thomas Räuchle, Amr El Abbadi

IEEE Trans. Software Eng., 1985

Exposure to Deadlock for Communicating Processes is Hard to Detect.

Thomas Räuchle, Sam Toueg

Inf. Process. Lett., 1985

A resilient communication structure for local area netowrks.

Amr El Abbadi, Thomas Räuchle

Proceedings of the Ninth Symposium on Data Communications, 1985

1984

Extending resilient objets efficiently.

Kenneth P. Birman, Thomas A. Joseph, Thomas Räuchle

Proceedings of the Fehlertolerierende Rechensysteme, 1984