"COOPE: A Tool for Representing Concurrent Object-Oriented Program ..."

Hugo Leroux, Christopher Exton (2001)
a service of Schloss Dagstuhl - Leibniz Center for Informatics