Well-Abstracted Transition Systems.

Alain Finkel, S. Purushothaman Iyer, Grgoire Sutre

Browse the full CONCUR paper archive.