Generating Representative Executions [Extended Abstract]
Analyzing the behaviour of a concurrent program is made difficult by the number of possible executions.This problem can be alleviated Oven Handle Inserts by applying the theory of Mazurkiewicz traces to focus only on the canonical representatives of the equivalence classes of the possible executions of the program.This paper presents a generic fram