TY - BOOK AU - Jantsch, Axel TI - Modeling Embedded Systems and SoCs: Concurrency and Time in Models of Computation SN - 9781558609259 U1 - 004.16 PY - 2004/// CY - San Francisco PB - Morgan Kaufmann Publishers KW - Computer Engineering N1 - Introduction Behavior and Concurrency The Untimed Model of Computation The Synchronous Model of Computations The Timed Model of Computation MoC Interfaces Tightly Coupled Process Networks Nondeterminism and Probability Applications Concluding Remarks ER -