Conditional transition systems with upgrades.

Harsh Beohar, Barbara Knig, Sebastian Kpper, Alexandra Silva

Browse the full TASE paper archive.