2 citations · 2 across the 1 of their papers we have counts for
1 paper
Lucas Lima, Amaury Tavares, Sidney C. Nogueira
Deadlock and nondeterminism may become increasingly hard to detect in concurrent and distributed systems. UML activity diagrams are flowcharts that model sequential and concurrent…