Hazard analysis of asynchronous circuits in Muller-Bartky's sense

Here considered is the input-output behavior of an asynchronous circuit in Muller-Bartky's sense. It is shown that a “parallelizable” asynchronous circuit is hazard free iff so it is in its synchronous move. The class of parallelizable circuits contains properly the class of semimodular circuits