Monus Semantics in Vector Addition Systems with States.

Pascal Baumann, Khushraj Madnani, Filip Mazowiecki, Georg Zetzsche

Browse the full CONCUR paper archive.