Author
Prof. Dr. Dines Bjørner
Computer Science and Engineering
Informatics and Mathematical Modelling
Technical University of Denmark
2800 Kgs. Lyngby, Denmark
bjorner@gmail.com
db@imm.dtu.dk
Series Editors
Prof. Dr. Wilfried Brauer
Institut für Informatik der TUM
Boltzmannstr. 3
85748 Garching, Germany
brauer@informatik.tu-muenchen.de
Prof. Dr. Grzegorz Rozenberg
Leiden Institute of Advanced
Computer Science
University of Leiden
Niels Bohrweg 1
2333 CA Leiden, The Netherlands
rozenber@liacs.nl
Prof. Dr. Arto Salomaa
Turku Centre of
Computer Science
Lemminkäisenkatu 14 A
20520 Turku, Finland
asalomaa@utu.fi
Library of Congress Control Number: 2006921809
ACM Computing Classification (1998): C.2, C.3, C.4, C.5, D.1, D.2, D.3, F.3, F.4, H.1, J.1, K.6.3
ISBN-10 3-540-21151-9 Springer Berlin Heidelberg New York
ISBN-13 978-3-540-21151-8 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.com
© Springer-Verlag Berlin Heidelberg 2006
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 statement, that such names are exempt from the relevant protective laws and regulations and
therefore free for general use.
Cover Design: KünkelLopka, Heidelberg
Typesetting: Camera ready by the Author
Production: LE-T
E
XJelonek,Schmidt&VöcklerGbR,Leipzig
Printed on acid-free paper 45/3100/YL 543210
评论8