Author : J.C.M. Baeten
Release : 2013-03-09
Genre : Computers
Kind : eBook
Book Rating : 953/5 ( reviews)
Book Synopsis Process Algebra with Timing by : J.C.M. Baeten
Download or read book Process Algebra with Timing written by J.C.M. Baeten. This book was released on 2013-03-09. Available in PDF, EPUB and Kindle. Book excerpt: 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.