Verification of infinite regular communicating automata (1996)

by A Finkel, O Marc'e