Josep Carmona, Jordi Cortadella, Enric Pastor. Synthesis of Reactive Systems: Application to Asynchronous Circuit Design. In Jordi Cortadella, Alexandre Yakovlev, Grzegorz Rozenberg, editors, Concurrency and Hardware Design, Advances in Petri Nets. Volume 2549 of Lecture Notes in Computer Science, pages 108-151, Springer, 2002. [doi]
Abstract is missing.