| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
J. ACM, Vol. 53, No. 3. (May 2006), pp. 379-405.
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
In Symposium on Reliability in Distributed Software and Database Systems (1986), pp. 3-12.
|
| |
|
| |
Fault-Tolerant Computing, 1993. FTCS-23. Digest of Papers., The Twenty-Third International Symposium on (1993), pp. 20-29.
|
| |
Theoretical Computer Science, Vol. 243, No. 1-2. (28 July 2000), pp. 35-91.
|
| |
|
| |
|
| |
|
| |
In Proceedings of the 29th Annual ACM Symposium on Theory of Computing (1997), pp. 540-548.
|
| |
In STOC: {ACM} Symposium on Theory of Computing ({STOC}) (1995)
|
| |
USENIX '04 — Technical Paper, General
|
| |
Journal of Functional Programming, Vol. 9, No. 4. (1999), pp. 355-372.
|
| |
|
| |
|
| |
|
| |
Lecture Notes in Computer Science : Parallel Processing and Applied : 4th International Conference, PPAM 2001 Na: czów, Poland, September 9-12, 2001. Revised Paper (2002), 331.
|
| |
|
| |
The Journal of Supercomputing, Vol. V9, No. 1. (21 March 1995), pp. 23-49.
|
| |
|
| |
|
| |
|
| |
In USENIX Summer (1994), pp. 87-98.
|
| |
|
| |
|
| |
No. NOTTCS-TR-96-4. (1996)
|
| |
In Program Design Calculi: Proceedings of the 1992 Marktoberdorf International Summer School (1993)
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|