Search Results: User:Drdiem/ProPro

Sorry, the article you're looking for isn't specifically available. Here are related topics:

User:Drdiem/ProPro
Rabu, 2009-12-02 18:10:37

ProPro is a tool for checking productivity of recursive stream specifications. Productivity captures the intuitive notion of unlimited progress, of `working'...

Click to read more »
User:Drdiem/Propro
Jumat, 2010-04-02 15:04:12

ProPro is a tool for proving productivity of stream specifications....

Click to read more »