Static analysis of topology-dependent broadcast networks

Sebastian Nanz, Flemming Nielson, Hanne Riis Nielson. Static analysis of topology-dependent broadcast networks. Inf. Comput., 208(2):117-139, 2010. [doi]

Abstract

Abstract is missing.