Synthesis of Reactive Systems: Application to Asynchronous Circuit Design - researchr publication related

researchr

You are not signed in
Sign in
Sign up

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]

The following publications are possibly variants of this publication:

Hardware and Petri Nets: Application to Asynchronous Circuit DesignJordi Cortadella, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Alexandre Yakovlev. apn 2000: 1-15 [doi]

The Use of Petri Nets for the Design and Verification of Asynchronous Circuits and SystemsAlex Kondratyev, Michael Kishinevsky, Alexander Taubin, Jordi Cortadella, Luciano Lavagno. jcsc, 8(1):67-118, 1998. [doi]

runs on WebDSL