On the Models for Asynchronous Circuit Behaviour with OR Causality

Alexandre Yakovlev, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Marta Pietkiewicz-Koutny. On the Models for Asynchronous Circuit Behaviour with OR Causality. Formal Methods in System Design, 9(3):189-233, 1996.

Abstract

Abstract is missing.