Concurrency and hardware design : advances in Petri nets / Jordi Cortadella, Alex Yakovlev, Gezegorz Rozenberg (eds.)
This LNCS State-of-the-Art Survey is devoted to the relatively old and well-known behavioral paradigm in computing, concurrency, and to the ways in which concurrency is exhibited or can be exploited in digital hardware devices. The nine chapters presented are organized in four parts on formal method...
Saved in:
| Online Access: |
Full Text (via Springer) |
|---|---|
| Other Authors: | , , |
| Format: | eBook |
| Language: | English |
| Published: |
Berlin ; New York :
Springer,
2002.
|
| Series: | Lecture notes in computer science ;
2549. |
| Subjects: |
Internet
Full Text (via Springer)Online
| Call Number: |
QA76.58 .C662 2002
|
|---|---|
| QA76.58 .C662 2002 | Available |