Concurrent Games on VASS with Inhibition.

Batrice Brard, Serge Haddad, Mathieu Sassolas, Nathalie Sznajder

Browse the full CONCUR paper archive.