Return to Article Details TIMED CONCURRENT STATE MACHINES Download Download PDF