True Concurrency in Models of Asynchronous Circuit Behavior. - Signe J. Silver; Janusz A. Brzozowski (Formal Methods Syst. Des., 2003)