"An Axiomatic Approach to Computing the Connectivity of Synchronous and ..."

Maurice Herlihy, Sergio Rajsbaum, Mark R. Tuttle (2009)
a service of Schloss Dagstuhl - Leibniz Center for Informatics