Concurrency and hardware design. Advances in Petri nets
type: Item
instance of: scholarly article
title: Concurrency and hardware design. Advances in Petri nets
zbMATH Open document ID: 1011.00018
published in: Lecture Notes in Computer Science
publication date: 2003-04-27T00:00:00Z
full work available at URL: t2549.htm
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]
Mathematics Subject Classification ID: 00B15
Mathematics Subject Classification ID: 68-06
Mathematics Subject Classification ID: 68M07
Mathematics Subject Classification ID: 68Q85
Mathematics Subject Classification ID: 94C10
zbMATH DE Number: 1900867
zbMATH Keywords: Concurrency design
zbMATH Keywords: Hardware design
zbMATH Keywords: Petri nets
MaRDI profile type: Publication
DOI: 10.1007/3-540-36190-1
OpenAlex ID: W2482142971
Wikidata QID: Q56892717
Recommended article: Q3762243
Recommended article: Q2766547
Recommended article: Q4942938
Recommended article: Lectures on Concurrency and Petri Nets
Recommended article: Concurrency, Synchronization, and Conflicts in Petri Nets
Recommended article: Q4842533
Recommended article: Lectures on concurrency and Petri nets. Advances in Petri nets.
Recommended article: Q4247292
Recommended article: Q3347286
Recommended article: Q4002015
description: scientific article; zbMATH DE number 1900867