"ERBIUM: a deterministic, concurrent intermediate representation for ..."

Cupertino Miranda et al. (2010)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics