Analysis of Commutativity with State-Chart Graph Representation of Concurrent Programs

Kishore Debnath, Christina Peterson, Damian Dechev

We present a new approach to check for commutativity in concurrent programs from their state-chart graphs. A set of operations are commutative if changing the order of their execut…