"Scalable liveness verification for communication fabrics."

Sebastiaan J. C. Joosten, Julien Schmaltz (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics