Mahesh Girkar Robert Moll New Results on the Analysis of Concurrent Systems with an Infinite Number of Processes. 65-80 1994 conf/concur/1994 CONCUR db/conf/concur/concur1994.html#GirkarM94 http://dx.doi.org/10.1007/BFb0014999