Decidability and Complexity Results for Verification of Asynchronous Broadcast Networks.

Giorgio Delzanno Riccardo Traverso

Published in: LATA (2013)

Keyphrases

worst case
network size
social networks
model checking
asynchronous circuits
network structure
decision problems
network design
vapnik chervonenkis dimension
computational complexity
np hard
description logics
community structure
space complexity
decision procedures