| 书目名称 | CONCUR 2006 - Concurrency Theory | | 副标题 | 17th International C | | 编辑 | Christel Baier,Holger Hermanns | | 视频video | http://file.papertrans.cn/221/220450/220450.mp4 | | 丛书名称 | Lecture Notes in Computer Science | | 图书封面 |  | | 描述 | This volume contains the proceedings of the 17th International Conference on Concurrency Theory (CONCUR) held in Bonn, Germany, August 27–30, 2006. The purpose of the CONCUR conference series is to bring together researchers, developers and students in order to advance the theory of concurrency and promote its applications. Interest in this topic is continuously growing, as a consequence of the importance and ubiquity of concurrent systems and their applications and the scientific relevance of their foundations. The scope of CONCUR covers all areas of semantics, logics, and verification techniques for concurrent systems. Topics include basic models and logics of concurrent and distributed computation (such as process algebras, Petri nets, domain theoretic or game theoretic models, modal and temporal logics), specialized models or classes of systems (such as circuits, synchronous systems, real-time and hybrid systems, stochastic systems, databases, mobile and migrating systems, parametric protocols, security protocols), related verification techniques and tools (such as staff space exploration, model-checking, synthesis, abstraction, automated deduction, testing), and related progra | | 出版日期 | Conference proceedings 2006 | | 关键词 | Bisimulation; Computation Tree Logic; algorithm; automata; concurrency; concurrent processing; concurrent | | 版次 | 1 | | doi | https://doi.org/10.1007/11817949 | | isbn_softcover | 978-3-540-37376-6 | | isbn_ebook | 978-3-540-37377-3Series ISSN 0302-9743 Series E-ISSN 1611-3349 | | issn_series | 0302-9743 | | copyright | Springer-Verlag Berlin Heidelberg 2006 |
The information of publication is updating
|
|
|Archiver|手机版|小黑屋|
派博传思国际
( 京公网安备110108008328)
GMT+8, 2025-8-25 02:07
发表于 2025-3-21 16:42:20
