"Enforcing Operational Properties including Blockfreeness for Deterministic ..."

Sven Schneider, Uwe Nestmann (2014)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics