| 書目名稱 | Process Algebra with Timing | | 編輯 | J. C. M. Baeten,C. A. Middelburg | | 視頻video | http://file.papertrans.cn/759/758933/758933.mp4 | | 概述 | Includes supplementary material: | | 叢書名稱 | Monographs in Theoretical Computer Science. An EATCS Series | | 圖書封面 |  | | 描述 | This book is concerned with a number of theories that can be used for describ- ing and analyzing systems of interacting components in case it is desirable or necessary to regard their time-dependent behavior. Society is becoming increasingly more dependent on complex computer- based systems that are composed of several components that act concurrently and interact - to synchronize and communicate with each other. The com- plexity of these systems arises to a great extent from the many ways in which their components can interact. The need that these components act and in- teract on time as well adds considerably to the complexity. In developing such a system, it is important to be able to acquire a better understanding of the relevant issues at the conceptual level, to describe the system in a precise way at various levels of detail, and to analyze it on the basis of the descriptions. When the early algebraic theories about processes, such as ACP [16, 17, 20], CCS [49, 50] and CSP [27, 39], were developed for that purpose, the established opinion was still that timing is a concern that can more often than not be treated independently. It is therefore not surprising that timing is de | | 出版日期 | Textbook 2002 | | 關(guān)鍵詞 | Absolute Timing; Computer; Continuous Time; Correct Design; Dependable Computing; Discrete Timing; Process | | 版次 | 1 | | doi | https://doi.org/10.1007/978-3-662-04995-2 | | isbn_softcover | 978-3-642-07788-3 | | isbn_ebook | 978-3-662-04995-2Series ISSN 1431-2654 Series E-ISSN 2193-2069 | | issn_series | 1431-2654 | | copyright | Springer-Verlag Berlin Heidelberg 2002 |
The information of publication is updating
|
|
|Archiver|手機(jī)版|小黑屋|
派博傳思國(guó)際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-6 20:19
發(fā)表于 2025-3-21 19:53:37
