Decidability and Complexity Results for Verification of Asynchronous Broadcast Networks.

Giorgio Delzanno, Riccardo Traverso

Browse the full LATA paper archive.