Verifying Deadlock and Nondeterminism in Activity Diagrams. - Lucas Lima 001; Amaury Tavares (MoDELS (Companion), 2019)

A framework for verifying deadlock and nondeterminism in UML activity diagrams based on CSP. - Lucas Lima 001; Amaury Tavares; Sidney C. Nogueira (Sci. Comput. Program., 2020)