Thomas Räuchle

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

1987
Efficient Concurrency Control for Libraries of Typed Objects.
PhD thesis, 1987

Using Data Flow Analysis to Reduce the Cost of Enforcing Consistency.
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.
Sci. Comput. Program., 1986

1985
Implementing Fault-Tolerant Distributed Objects.
IEEE Trans. Software Eng., 1985

Exposure to Deadlock for Communicating Processes is Hard to Detect.
Inf. Process. Lett., 1985

A resilient communication structure for local area netowrks.
Proceedings of the Ninth Symposium on Data Communications, 1985

1984
Extending resilient objets efficiently.
Proceedings of the Fehlertolerierende Rechensysteme, 1984


  Loading...