Soundness of Data-Aware Processes with Arithmetic Conditions.

Paolo Felli, Marco Montali, Sarah Winkler

Browse the full CaiSE paper archive.