Javier Esparza Decidability of Model Checking for Infinite-State Concurrent Systems. 85-107 1997 34 Acta Inf. 2 db/journals/acta/acta34.html#Esparza97