Decidability and complexity results for verification of asynchronous broadcast networks