Process algebra with timing (Q1847280)

This book gives a comprehensive overview of more than a decade of development of an algebraic theory of processes with time. It builds the theories on top of the process algebra ACP, but this does not reduce the applicability to other process theories such as CCS or CSP. The book treats essentially four different timed process algebras; with discrete and continuous time, and with a relative and absolute timing model, i.e. where the time of actions is indicated either relative to the previous action, or absolute with respect to some global time scale. The four variants are all given an operational semantics and get an axiomatic characterization. Throughout the text small examples and exercises illustrate the theory. In a final chapter abstraction is dealt with, where actions can be made invisible to outside observers. Further find chapters deal with some ad hoc extensions, soundness and completeness of axioms and some further technical elaboration. 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 this book is even suited to be used in an advanced course.