Concurrency and hardware design. Advances in Petri nets

DOI10.1007/3-540-36190-1MaRDI QIDQ1868003zbMATH OpenOpenAlexWikidataFDO

Authors

Publication date 27 April 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/tocs/t2549.htm

zbMATH Keywords

Concurrency designHardware designPetri nets

Mathematics Subject Classification ID

Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Mathematical problems of computer architecture (68M07) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Review text

The articles of this volume will be reviewed individually. Indexed articles: \textit{Benko, Igor; Ebergen, Jo}, Composing snippets, 1-33 [Zbl 1029.68003] \textit{Josephs, Mark B.; Furey, Dennis P.}, A programming approach to the design of asynchronous logic blocks, 34-60 [Zbl 1029.68506] \textit{Varshavsky, Victor; Marakhovsky, Vyacheslav}, GALA (globally asynchronous -- locally arbitrary) design, 61-107 [Zbl 1029.68508] \textit{Carmona, Josep; Cortadella, Jordi; Pastor, Enric}, Synthesis of reactive systems: Application to asynchronous circuit design, 108-151 [Zbl 1029.68505] \textit{Vogler, Walter; Wollowski, Ralf}, Decomposition in asynchronous circuit design, 152-190 [Zbl 1029.68006] \textit{LaRue, William; Solden, Sherry; Bhattacharya, Bishnupriya}, Functional and performance modeling of concurrency in VCC, 191-227 [Zbl 1029.68507] \textit{Balarin, Felice; Lavagno, Luciano; Passerone, Claudio; Sangiovanni-Vincentelli, Alberto; Sgroi, Marco; Watanabe, Yosinori}, Modeling and designing heterogeneous systems, 228-273 [Zbl 1029.68503] \textit{Møller, Jesper; Hulgaard, Henrik; Andersen, Henrik Reif}, Timed verification of asynchronous circuits, 274-312 [Zbl 1029.68005] \textit{Beerel, Peter A.; Xie, Aiguo}, Performance analysis of asynchronous circuits using Markov chains, 313-343 [Zbl 1029.68504]

Recommendations

• scientific article; zbMATH DE number 4012518
• scientific article; zbMATH DE number 1696445
• scientific article; zbMATH DE number 1415080
• Lectures on Concurrency and Petri Nets
• Concurrency, Synchronization, and Conflicts in Petri Nets
• scientific article; zbMATH DE number 785044
• Lectures on concurrency and Petri nets. Advances in Petri nets.
• scientific article; zbMATH DE number 1302049
• scientific article; zbMATH DE number 3890722
• scientific article; zbMATH DE number 51631

Cited in

(1)

• Lectures on concurrency and Petri nets. Advances in Petri nets.

This page was built for publication: Concurrency and hardware design. Advances in Petri nets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1868003)