文档介绍：Texts in puter Science
An EATCS Series
Editors: W. Brauer G. Rozenberg A. Salomaa
On behalf of the European Association
for puter Science (EATCS)
Advisory Board: G. Ausiello M. Broy . Calude
A. Condon D. Harel J. Hartmanis T. Henzinger
J. Hromkovic° N. Jones T. Leighton M. Nivat
C. Papadimitriou D. Scott
R. Kurki-Suonio
A Practical Theory of
Reactive Systems
Incremental Modeling
of Dynamic Behaviors
With 112 Figures and 20 Tables
123
Authors
Reino Kurki-Suonio
Tampere University of Technology
Box 553
33101 Tampere
Finland
-******@
Series Editors
Prof. Dr. Wilfried Brauer Prof. Dr. Arto Salomaa
Institut für Informatik der TUM Turku Centre puter Science
Boltzmannstrasse 3 Lemminkäisenkatu 14 A
85748 Garching 20520 Turku
Germany Finland
******@- ******@
Prof. Dr. Grzegorz Rozenberg
Leiden Institute of puter Science
University of Leiden
Niels Bohrweg 1
2333 CA Leiden
herlands
******@
Library of Congress Control Number: 2005920137
puting Classification (1998): ,
ISBN 3-540-23342-3 Springer Berlin Heidelberg New York
This work is subject to copyright. All rights are reserved, whether the whole or part of the material is concerned,
specifically the rights of translation, reprinting, reuse of illustrations, recitation, broadcasting, reproduction on microfilm
or in any other way, and storage in data banks. Duplication of this publication or parts thereof is permitted only under
the provisions of the German Copyright Law of September 9, 1965, in its current version, and permission for use must
always be obtained from Springer. Violations are liable for prosecution under the German Copyright Law.
Springer is a part of Springer Science+Business Media
© Springer-Verlag Berlin Heidelberg 2005
Printed in Germany
The use of general descriptive names, registered names, trademarks, etc. in this publication does not imply, even in the
absence of a specific statem