Une sémantique formelle de la concurrence en Java

Isabelle Attali, Denis Caromel, Marjorie Russo. Une sémantique formelle de la concurrence en Java. L OBJET, 8(1-2):115-132, 2002. [doi]

Abstract

Abstract is missing.