Concurrency and Hardware Design 2002

@proceedings{DBLP:conf/ac/2002chd,
  editor    = {Jordi Cortadella and
               Alexandre Yakovlev and
               Grzegorz Rozenberg},
  title     = {Concurrency and Hardware Design, Advances in Petri Nets},
  booktitle = {Concurrency and Hardware Design},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2549},
  year      = {2002},
  isbn      = {3-540-00199-9},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Formal Models

• Igor Benko, Jo C. Ebergen:
  Composing Snippets. 1-33
  Electronic Edition (Springer LINK) BibTeX
• Mark B. Josephs, Dennis P. Furey:
  A Programming Approach to the Design of Asynchronous Logic Blocks. 34-60
  Electronic Edition (Springer LINK) BibTeX

Asynchronous Circuits

• Victor Varshavsky, Vyacheslav Marakhovsky:
  GALA (Globally Asynchronous - Locally Arbitrary) Design. 61-107
  Electronic Edition (Springer LINK) BibTeX
• Josep Carmona, Jordi Cortadella, Enric Pastor:
  Synthesis of Reactive Systems: Application to Asynchronous Circuit Design. 108-151
  Electronic Edition (Springer LINK) BibTeX
• Walter Vogler, Ralf Wollowski:
  Decomposition in Asynchronous Circuit Design. 152-190
  Electronic Edition (Springer LINK) BibTeX

Embedded System Design

• William W. LaRue, Sherry Solden, Bishnupriya Bhattacharya:
  Functional and Performance Modeling of Concurrency in VCC. 191-227
  Electronic Edition (Springer LINK) BibTeX
• Felice Balarin, Luciano Lavagno, Claudio Passerone, Alberto L. Sangiovanni-Vincentelli, Marco Sgroi, Yosinori Watanabe:
  Modeling and Designing Heterogeneous Systems. 228-273
  Electronic Edition (Springer LINK) BibTeX

Timed Verification and Performance Analysis

• Jesper B. Møller, Henrik Hulgaard, Henrik Reif Andersen:
  Timed Verification of Asynchronous Circuits. 274-312
  Electronic Edition (Springer LINK) BibTeX
• Peter A. Beerel, Aiguo Xie:
  Performance Analysis of Asynchronous Circuits Using Markov Chains. 313-344
  Electronic Edition (Springer LINK) BibTeX