Mark B. Josephs. An Analysis of Determinacy Using a Trace-Theoretic Model of Asynchronous Circuits. In 9th International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC 2003), 12-16 May 2003, Vancouver, BC, Canada. pages 121-131, IEEE Computer Society, 2003. [doi]
Abstract is missing.