State-Space Abstraction of Concurrent Programs: A Means to Computation-Progressive Scheduling.

Tzilla Elrad, N. Krishna Kumar

Browse the full ICPP paper archive.