Modeling Embedded Systems and SoC's —— Concurrency and Time in Models of Computation

----- 嵌入式系统和SoC的建模：计算模型中的并发性和时间

ISBN: 9781558609259 出版年：2003 页码：375 Jantsch, Axel Morgan Kaufmann_RM

Preface 1. Introduction 2. Behavior and Concurrency 3. The Untimed Model of Computation 4. The Synchronous Model of Computation 5. The Timed Model of Computation 6. MoC Interfaces 7. Tightly Coupled Process Networks 8. Nondeterminism and Probability 9. Applications 10. Concluding Remarks