株式会社極東書店トップ ＞ 商品一覧 ＞ Process Algebras for Petri Nets: The Alphabetization of Distributed Systems. Softcover reprint of the original 1st ed. 2017
商品詳細
Process Algebras for Petri Nets: The Alphabetization of Distributed Systems. Softcover reprint of the original 1st ed. 2017
・ISBN 978-3-319-85694-0 paper EUR 79.99
￥21,380.- (税込) ※（※）価格はご注文時の参考価格となります。
納品価格につきましては書籍の入荷時点で確定となります。
版元の原価改定、外国為替の変動等により異なる場合がございますので、予めご了承下さい。
| 著者・編者 | Gorrieri, Roberto, |
|---|---|
| シリーズ | (Monographs in Theoretical Computer Science. An EATCS Series) |
| 出版社 | (Springer International Publishing AG, SZ) |
| 出版年月 | 2018 |
| ページ数 | 302 pp. |
| 言語 | ENG |
| ニュース番号 | ＜A02-77852＞ |
解説
This book deals with the problem of finding suitable languages that can represent specific classes of Petri nets, the most studied and widely accepted model for distributed systems. Hence, the contribution of this book amounts to the alphabetization of some classes of distributed systems. The book also suggests the need for a generalization of Turing computability theory.
It is important for graduate students and researchers engaged with the concurrent semantics of distributed communicating systems. The author assumes some prior knowledge of formal languages and theoretical computer science.