ACM SIG\-PLAN Notices, Vol. 34, No. 10. (1999), pp. 187-206.
Vol. 40, No. 6. (June 2005), pp. 129-142.
Concurrency and Computation: Practice and Experience, Vol. 16, No. 7. (27 April 2004), pp. 671-687.
No. MIT-CSAILTR-949. (May 2004)
Vol. 38, No. 1. (January 2003), pp. 262-272.
(21 October 2002)
(1998), pp. 313-323.
Vol. 38, No. 11. (November 2003), pp. 344-358.
Information and Computation (1997)
Vol. 37, No. 11. (November 2002), pp. 1-12.
(2001), pp. 70-80.
(2002)
ACM Sigplan Notices, Vol. 27, No. 3. (March 1992), pp. 66-70.
Vol. 39, No. 1. (January 2004), pp. 210-219.
(1998), pp. 258-268.
ACM SIG\-PLAN Notices, Vol. 36, No. 7. (2001), pp. 12-23.
(1999)
(1999), pp. 442-451.
(2001), pp. 54-61.
Vol. 36, No. 5. (May 2001), pp. 70-80.
Vol. 37, No. 5. (May 2002), pp. 141-152.
ACM SIG\-PLAN Notices, Vol. 35, No. 5. (2000), pp. 264-273.
(2002), pp. 313-324.
Vol. 38, No. 5. (May 2003), pp. 324-337.
(2004)