Return to Article Details Algorithms for finding the normal form of traces and synchronous traces. Download Download PDF