| 书目名称 | Decidability of Parameterized Verification | | 编辑 | Roderick Bloem,Ayrat Khalimov,Sasha Rubin | | 视频video | | | 丛书名称 | Synthesis Lectures on Distributed Computing Theory | | 图书封面 |  | | 描述 | While the classic model checking problem is to decide whether a finite system satisfies a specification, the goal of parameterized model checking is to decide, given finite systems ����(n) parameterized by n ∈ ℕ, whether, for all n ∈ ℕ, the system ����(n) satisfies a specification. In this book we consider the important case of ����(n) being a concurrent system, where the number of replicated processes depends on the parameter n but each process is independent of n. Examples are cache coherence protocols, networks of finite-state agents, and systems that solve mutual exclusion or scheduling problems. Further examples are abstractions of systems, where the processes of the original systems actually depend on the parameter. The literature in this area has studied a wealth of computational models based on a variety of synchronization and communication primitives, including token passing, broadcast, and guarded transitions. Often, different terminology is used in the literature, and results are based on implicit assumptions. In this book, we introduce a computational model that unites the central synchronization and communication primitives of many models, and unveils hidden assumption | | 出版日期 | Book 2015 | | 版次 | 1 | | doi | https://doi.org/10.1007/978-3-031-02011-7 | | isbn_softcover | 978-3-031-00883-2 | | isbn_ebook | 978-3-031-02011-7Series ISSN 2155-1626 Series E-ISSN 2155-1634 | | issn_series | 2155-1626 | | copyright | Springer Nature Switzerland AG 2015 |
The information of publication is updating
|
|
发表于 2025-3-21 17:42:57
