Sign in

An Axiomatic Approach to Computing the Connectivity of Synchronous and Asynchronous Systems.

Maurice HerlihySergio RajsbaumMark R. Tuttle
Published in: Electron. Notes Theor. Comput. Sci. (2009)
Keyphrases