Semantics of Parallelism
Produktnummer:
1868d17cac53214b3292634ce43e313cca
| Autor: | Shields, Michael W. |
|---|---|
| Themengebiete: | Notation automata bisimulation concurrency distributed systems graphs information modeling theoretical computer science |
| Veröffentlichungsdatum: | 25.04.1997 |
| EAN: | 9783540760597 |
| Sprache: | Englisch |
| Seitenzahl: | 473 |
| Produktart: | Kartoniert / Broschiert |
| Verlag: | Springer Berlin |
| Untertitel: | Non-Interleaving Representation of Behaviour |
Produktinformationen "Semantics of Parallelism"
Semantics of Parallelism is the only book which provides a unified treatment of the non-interleaving approach to process semantics (as opposed to the interleaving approach of the process algebraists). Many results found in this book are collected for the first time outside conference and journal articles on the mathematics of non-interleaving semantics. It gives the reader a unified view of various attempts to model parallelism within one conceptual frame work. It is aimed at postgraduates in theoretical computer science and academics who are teaching and researching in the modelling of discrete, concurrent/distributed systems. Workers in the information technology industry who are interested in available theoretical studies on parallelism will also be interested in this book.
Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen