| 書(shū)目名稱(chēng) | CONCUR 2006 - Concurrency Theory | | 副標(biāo)題 | 17th International C | | 編輯 | Christel Baier,Holger Hermanns | | 視頻video | http://file.papertrans.cn/221/220450/220450.mp4 | | 叢書(shū)名稱(chēng) | Lecture Notes in Computer Science | | 圖書(shū)封面 |  | | 描述 | 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 | | 關(guān)鍵詞 | 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|手機(jī)版|小黑屋|
派博傳思國(guó)際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-14 06:15
發(fā)表于 2025-3-21 16:42:20
