2002 | ||
---|---|---|
2 | EE | 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 | EE | 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] |