1. CSP, Occam, and Inmos;Theories of Programming;2021-10-02
2. Design and FPGA-implementation of Asynchronous Circuits Using Two-Phase Handshaking;2019 25th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC);2019-05
3. Structure-Based Deadlock Checking of Asynchronous Circuits;Journal of Computer Science and Technology;2011-11
4. Delay-insensitivity and ternary simulation;Theoretical Computer Science;2000-08
5. Deriving Signal Transition Graphs from Behavioral Verilog HDL;Hardware Design and Petri Nets;2000