History-Deterministic Vector Addition Systems.

Sougata Bose, David Purser, Patrick Totzke

Browse the full CONCUR paper archive.