Process Algebra with Timing (Monographs in Theoretical Computer Science. An EATCS Series) - Tapa dura

Middelburg, C.A.; Baeten, J.C.M.

 
9783540434474: Process Algebra with Timing (Monographs in Theoretical Computer Science. An EATCS Series)

Sinopsis

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.

"Sinopsis" puede pertenecer a otra edición de este libro.

Críticas

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)

Reseña del editor

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.

"Sobre este título" puede pertenecer a otra edición de este libro.

Otras ediciones populares con el mismo título

9783642077883: Process Algebra with Timing (Monographs in Theoretical Computer Science. An EATCS Series)

Edición Destacada

ISBN 10:  3642077889 ISBN 13:  9783642077883
Editorial: Springer, 2010
Tapa blanda