Timing issues are of growing importance for the conceptualization and design ofcomputerbased systems. Timing may simply be essential for the correctbehaviour of... » 

Timing issues are of growing importance for the conceptualization and design ofcomputerbased systems. Timing may simply be essential for the correctbehaviour of a system e.g. of a controller. Even if timing is not essentialfor the correct behaviour of a system there may be good reasons to introduceit in such a way that suitable timing becomes relevant for the correctbehaviour of a complex system. This book is unique in presenting four algebraictheories about processes each dealing with timing from a different point ofview in a coherent and systematic way. The timing of actions is eitherrelative or absolute and the underlying time scale is either discrete orcontinuous. All presented theories are extensions of the algebra ofcommunicating processes. The book is essential reading for researchers andadvanced students interested in timing issues in the context of the design andanalysis of concurrent and communicating processes. TOCPreface 1. No Timing2. Discrete Relative Timing 3. Discrete Absolute Timing 4. ContinuousRelative Timing 5. Continuous Absolute Timing 6. Abstraction 7. Features A.Soundness and Completeness B. Background Material Bibliography GlossaryIndex. «