| |
ECOOP 2005 - Object-Oriented Programming (2005), pp. 602-629.
|
| |
In Object-Oriented Concurrent Programming (1987), pp. 9-36.
|
| |
In OOPSLA '03: Proceedings of the 18th annual ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications, Vol. 38, No. 11. (November 2003), pp. 388-402.
|
| |
|
| |
In POPL '06: Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2006), pp. 269-269.
|
| |
In PPoPP '05: Proceedings of the tenth ACM SIGPLAN symposium on Principles and practice of parallel programming (2005), pp. 48-60.
|
| |
: CONCUR 2006 – Concurrency Theory (2006), pp. 158-172.
|
| |
J. Funct. Program., Vol. 9, No. 3. (May 1999), pp. 313-323.
|
| |
Lecture Notes in Computer Science, Vol. 1782 (2000)
|
| |
Inf. Comput., Vol. 170, No. 1. (October 2001), pp. 95-133.
|
| |
In VEE '06: Proceedings of the 2nd international conference on Virtual execution environments (2006), pp. 57-67.
|
| |
Information and Computation, Vol. 172, No. 2. (29 January 2002), pp. 139-164.
|
| |
Theoretical Computer Science, Vol. 34, No. 1-2. (1984), pp. 83-133.
|
| |
ACM Trans. Program. Lang. Syst., Vol. 24, No. 5. (September 2002), pp. 566-591.
|
| |
Information and Computation, Vol. 179, No. 1. (25 November 2002), pp. 76-117.
|
| |
J. Funct. Program., Vol. 15, No. 2. (March 2005), pp. 219-247.
|
| |
Inf. Comput., Vol. 191, No. 2. (June 2004), pp. 145-202.
|
| |
Electronic Notes in Theoretical Computer Science In FGC, Foundations of Global Computing, 2nd EATCS Workshop (Satellite Event of ICALP 2003), Vol. 85, No. 1. (September 2003), 80.
|
| |
Theoretical Computer Science, Vol. 311, No. 1-3. (23 January 2004), pp. 121-163.
|
