Thomas Räuchle
Loading Google Thumbnails...
from Google Images |
- Sorted by Year/Conf, Year/Citation, Citation
| 1986 | ||
|---|---|---|
| 5 | 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. (7): 1-22 (1986). Web SearchBibTeXDownload | |
| 1985 | ||
| 4 | Implementing Fault-Tolerant Distributed Objects. Kenneth P. Birman, Thomas A. Joseph, Thomas Räuchle, Amr El Abbadi. IEEE Trans. Software Eng. (11): 502-508 (1985). Cited by 132Web SearchBibTeXDownload | |
| 3 | Exposure to Deadlock for Communicating Processes is Hard to Detect. Thomas Räuchle, Sam Toueg. Inf. Process. Lett. (21): 63-68 (1985). Web SearchBibTeXDownload | |
| 2 | A resilient communication structure for local area netowrks. Amr El Abbadi, Thomas Räuchle. SIGCOMM 1985, 140-145. Web SearchBibTeXDownload | |
| 1984 | ||
| 1 | Implementing Fault-Tolerant Distributed Objects. Kenneth P. Birman, Thomas A. Joseph, Thomas Räuchle, Amr El Abbadi. Symposium on Reliability in Distributed Software and Database Systems 1984, 124-133. Cited by 132Web SearchBibTeX | |
from DBLP and Google Scholar