Process Algebra with Timing
Synopsis
Timing issues are of growing importance for the conceptualization and design of computer-based systems. Timing may simply be essential for the correct behaviour of a system, e.g. of a controller. Even if timing is not essential for the correct behaviour of a system, there may be good reasons to introduce it in such a way that suitable timing becomes relevant for the correct behaviour of a complex system. This book is unique in presenting four algebraic theories about processes, each dealing with timing from a different point of view, in a coherent and systematic way. The timing of actions is either relative or absolute and the underlying time scale is either discrete or continuous.Book details
- Edition:
- 2002
- Series:
- Monographs in Theoretical Computer Science. An EATCS Series
- Author:
- J.C.M. Baeten, C.A. Middelburg
- ISBN:
- 9783662049952
- Related ISBNs:
- 9783540434474
- Publisher:
- Springer Berlin Heidelberg
- Pages:
- N/A
- Reading age:
- Not specified
- Includes images:
- No
- Date of addition:
- 2022-06-30
- Usage restrictions:
- Copyright
- Copyright date:
- 2002
- Copyright by:
- N/A
- Adult content:
- No
- Language:
- English
- Categories:
- Computers and Internet, Mathematics and Statistics, Nonfiction