True Concurrency in Models of Asynchronous Circuit Behavior