Andrew Kay

A C-based synthesis system, Bach, and its application

Takashi Kambe, Akihisa Yamada, Koichi Nishida et al. · Proceedings of the ASP-DAC 2001. Asia and South Pacific Design Automation Conference 2001 (Cat. No.01EX455) · 2002 · 30 citations

Engineering, Computer Engineering, Computer Science +11

A rely and guarantee method for timed CSP: a specification and design of a telephone exchange

Andrew Kay, Joy Reed · IEEE Transactions on Software Engineering · 1993 · 25 citations

Computing, Computer Engineering, Computer Science +14

Hardware synthesis with the Bach system

Akihisa Yamada, Koichi Nishida, Ryoji Sakurai et al. · 2003 · 18 citations

Engineering, Computer Engineering, Computer Science +12

A C-based synthesis system, Bach, and its application (invited talk)

Takashi Kambe, Akihisa Yamada, Koichi Nishida et al. · 2001 · 16 citations

Engineering, Computer Engineering, Computer Science +9