Scope-Bounded Reachability in Valence Systems.

Aneesh K. Shetty, S. Krishna, Georg Zetzsche

Browse the full CONCUR paper archive.