| |
In In Proceedings of the 19th International Conference on Distributed Computing Systems (1999), pp. 244-252.
|
| |
In EW 4: Proceedings of the 4th workshop on ACM SIGOPS European workshop (1990), pp. 6-17.
|
| |
In SOSP '05: Proceedings of the twentieth ACM symposium on Operating systems principles (2005), pp. 59-74.
|
| |
In NSDI'08: Proceedings of the 5th USENIX Symposium on Networked Systems Design and Implementation (2008), pp. 161-174.
|
| |
In SOSP '95: Proceedings of the fifteenth ACM symposium on Operating systems principles, Vol. 29, No. 5. (December 1995), pp. 1-11.
|
| |
In SRDS '06: Proceedings of the 25th IEEE Symposium on Reliable Distributed Systems (2006), pp. 301-310.
|
| |
In WORDS '01: Proceedings of the Sixth International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS'01) (2001)
|
| |
|
| |
|
| |
In SOSP '89: Proceedings of the twelfth ACM symposium on Operating systems principles (1989), pp. 202-210.
|
| |
Dependable Computing for Critical Applications 7, 1999 In Dependable Computing for Critical Applications 7, 1999 (1999), pp. 67-86.
|
| |
Commun. ACM, Vol. 34, No. 2. (February 1991), pp. 56-78.
|
| |
Reliable Distributed Systems, 2002. Proceedings. 21st IEEE Symposium on In Reliable Distributed Systems, 2002. Proceedings. 21st IEEE Symposium on (2002), pp. 244-249.
|
| |
In Reliable Software Technologies - Ada-Europe'96 (1996), pp. 38-57.
|
| |
ACM Computing Surveys, Vol. 22, No. 4. (1990), pp. 299-319.
|
| |
SIGACTN: SIGACT News (ACM Special Interest Group on Automata and Computability Theory), Vol. 32 (2001)
|
| |
|
| |
SIGACT News, Vol. 38, No. 1. (March 2007), pp. 53-61.
|
