Process Algebra with Timing
Buch in deiner Nähe kaufen
Beschreibung
The first book systematically dealing with the issue of timing in systems design and analysis.
Includes supplementary material: sn.pub/extras
Autor*in
J.C.M. Baeten
Themen in »Process Algebra with Timing«
Absolute Timing Computer Continuous Time Correct Design Dependable Computing Discrete Timing Process Algebra Reactive Systems Relative Timing System complex system complex systems object oriented design data structures
Stimmen zu »Process Algebra with Timing«
From the reviews:
"This book gives a comprehensive overview of more than a decade of development of an algebraic theory of processes with time. … Throughout the text small examples and exercises illustrate the theory. … This book is well-suited as background material or even a starting point for researchers in this field. Due to its excellent readability and its abundance of exercises the book is even suited to be used in an advanced course." (J. F. Groote, Zentralblatt MATH, Vol. 1021, 2003)
()