True concurrency in models of asynchronous circuit behavior
scientific article; zbMATH DE number 1908514