|
eCommons@Cornell >
Browsing by Author Raeuchle, Thomas
Showing results 2 to 6 of 6
| Preview | Issue Date | Title | Author(s) | | Sep-1986 | Efficient Concurrency Control for Libraries of Typed Objects | Raeuchle, Thomas |
| May-1983 | Exposure to Deadlock for Communicating Processes is Hard to Detect | Raeuchle, Thomas; Toueg, Sam |
| Mar-1984 | Implementing Fault-Tolerant Distributed Objects | Birman, Kenneth P.; Joseph, Thomas A.; Raeuchle, Thomas; El Abbadi, Amr |
| Oct-1984 | An Overview of the Isis Project | Birman, Kenneth P.; Abbadi, Amr El; Dietrich, Wally; Joseph, Thomas A.; Raeuchle, Thomas |
| Nov-1985 | State Machines and Assertions (An Integrated Approach to Modelingand Verification of Distributed Systems | Joseph, Thomas A.; Raeuchle, Thomas; Toueg, Sam |
Showing results 2 to 6 of 6
|
