A Generic Framework for Reasoning About Dynamic Networks of Infinite-State Processes.

Ahmed Bouajjani, Yan Jurski, Mihaela Sighireanu

Browse the full TACAS paper archive.