| 2002 | ||
|---|---|---|
| 2 | Isabelle Attali, Denis Caromel, Marjorie Russo: Une sémantique formelle de la concurrence en Java. L'OBJET 8(1-2): 115-132 (2002) | |
| 2001 | ||
| 1 | Isabelle Attali, Denis Caromel, Marjorie Russo: Graphical Visualization of Java Objects, Threads, and Locks. IEEE Distributed Systems Online 2(1): (2001) | |
| 1 | Isabelle Attali | [1] [2] |
| 2 | Denis Caromel | [1] [2] |