Process Algebra with Timing

Jos C. M. Baeten, Kees Middelburg

288 pages, parution le 12/07/2002

Ajouter à une liste

Indisponible

Résumé

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. All presented theories are extensions of the algebra of communicating processes.

The book is essential reading for researchers and advanced students interested in timing issues in the context of the design and analysis of concurrent and communicating processes.

Contents

1. No Timing
2. Discrete Relative Timing
3. Discrete Absolute Timing
4. Continuous Relative Timing
5. Continuous Absolute Timing
6. Abstraction
7. Features

A. Soundness and Completeness
B. Background Material

Caractéristiques techniques

	PAPIER
Éditeur(s)	Springer
Auteur(s)	Jos C. M. Baeten, Kees Middelburg
Parution	12/07/2002
Nb. de pages	288
Format	16 x 24
Couverture	Relié
Poids	578g
Intérieur	Noir et Blanc
EAN13	9783540434474