| |
Electronic Notes in Theoretical Computer Science, Vol. 16, No. 3. (1998), pp. 205-224.
|
| |
Applied Semantics (2002), pp. 268-332.
|
| |
Dependable Computing, 2002. Proceedings. 2002 Pacific Rim International Symposium on In Dependable Computing, 2002. Proceedings. 2002 Pacific Rim International Symposium on (2002), pp. 221-228.
|
| |
Concurrency and Computation: Practice and Experience, Vol. 9999, No. 9999. (2008), n/a.
|
| |
|
| |
SIGOPS Oper. Syst. Rev. In SOSP '03: Proceedings of the nineteenth ACM symposium on Operating systems principles, Vol. 37, No. 5. (2003), pp. 29-43.
|
| |
ACM Trans. Comput. Syst., Vol. 5, No. 1. (1987), pp. 1-11.
|
| |
|
| |
|
| |
SIGOPS Oper. Syst. Rev., Vol. 29, No. 5. (1995), pp. 109-126.
|
| |
ACM Trans. Comput. Syst., Vol. 13, No. 3. (August 1995), pp. 274-310.
|
| |
|
| |
In In Proceedings of the 4th Annual Linux Showcase and Conference (2000), pp. 317-327.
|
| |
Parallel Processing and Applied Mathematics (2004), pp. 405-412.
|
| |
|
| |
|
| |
ACM Comput. Surv., Vol. 22, No. 4. (December 1990), pp. 321-374.
|
| |
In OSDI'04: Proceedings of the 6th conference on Symposium on Opearting Systems Design \& Implementation (2004), pp. 16-16.
|
| |
J. Funct. Program., Vol. 15, No. 5. (September 2005), pp. 703-749.
|
| |
In ICFP '05: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming (2005), pp. 15-26.
|
| |
|
| |
|
CiteULike
pedagand's CiteULike
Search
Export
