Ramayya Kumar, Thomas Kropf, Klaus Schneider. Formal synthesis of circuits with a simple handshake protocol. In 8th International Conference on VLSI Design (VLSI Design 1995), 4-7 January 1995, New Delhi, India. pages 255-259, IEEE Computer Society, 1995. [doi]
Abstract is missing.