Graphical Visualization of Java Objects, Threads, and Locks. - Isabelle Attali; Denis Caromel; Marjorie Russo (IEEE Distributed Syst. Online, 2001)

Une sémantique formelle de la concurrence en Java. - Isabelle Attali; Denis Caromel; Marjorie Russo (Obj. Logiciel Base données Réseaux, 2002)