Reasoning about dynamic networks of infinite-state processes with global synchronization (2006)

by A Bouajjani, Y Jurski, M Sighireanu
Venue:HAL - CCSD