Soundness of Data-Aware Processes with Arithmetic Conditions

Add code
Mar 28, 2022
Figure 1 for Soundness of Data-Aware Processes with Arithmetic Conditions
Figure 2 for Soundness of Data-Aware Processes with Arithmetic Conditions
Figure 3 for Soundness of Data-Aware Processes with Arithmetic Conditions
Figure 4 for Soundness of Data-Aware Processes with Arithmetic Conditions

Share this with someone who'll enjoy it:

View paper onarxiv icon

Share this with someone who'll enjoy it: