Abstract interpretation of combinational asynchronous circuits

Sarah Thompson, Alan Mycroft. Abstract interpretation of combinational asynchronous circuits. Science of Computer Programming, 64(1):166-183, 2007. [doi]

Abstract

Abstract is missing.