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]

Authors

Isabelle Attali

This author has not been identified. Look up 'Isabelle Attali' in Google

Denis Caromel

This author has not been identified. Look up 'Denis Caromel' in Google

Marjorie Russo

This author has not been identified. Look up 'Marjorie Russo' in Google