Jordi Cortadella Alexandre Yakovlev Grzegorz Rozenberg Concurrency and Hardware Design Lecture Notes in Computer Science 2549 Springer 2002 3-540-00199-9 db/conf/ac/chd2002.html