"Automatic correct scheduling of control flow intensive behavioral ..."

Kai Kapp, Viktor K. Sabelfeld (2004)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics