Testing-Based Abstractions for Value-Passing Systems.

Rance Cleaveland, James Riely

Browse the full CONCUR paper archive.