New Results on the Analysis of Concurrent Systems with an Infinite Number of Processes.

Mahesh Girkar, Robert Moll

Browse the full CONCUR paper archive.