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

• Authors:

• Mahesh Girkar;Robert Moll

• Affiliations:

• -;-

• Venue:
• CONCUR '94 Proceedings of the Concurrency Theory
• Year:
• 1994