
Be the first to like this
Slideshare uses cookies to improve functionality and performance, and to provide you with relevant advertising. If you continue browsing the site, you agree to the use of cookies on this website. See our User Agreement and Privacy Policy.
Slideshare uses cookies to improve functionality and performance, and to provide you with relevant advertising. If you continue browsing the site, you agree to the use of cookies on this website. See our Privacy Policy and User Agreement for details.
Published on
Advanced course in logic and computation at ESSLLI 2017, by Calvanese and Montali, summarizing the main technical results obtained in our 6year research on the verification of dataaware processes. Part 4/6: boundaries of decidability  counter automata and negative results.
Be the first to like this
Be the first to comment