文档介绍：Monographs in puter Science
An EATCS Series
Editors: W. Brauer J. Hromkovicˇ 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 T. Leighton
M. Nivat C. Papadimitriou D. Scott
Dines Bjørner · Martin C. Henson
Editors
Logics of
Specification Languages
123
Prof. Emeritus, Dr. Dines Bjørner Prof. Martin C. Henson
Informatics and Mathematical Modelling University of Essex
Technical University of Denmark Department puter Science
2800 Kgs. Lyngby Wivenhoe Park
Denmark CO4 3SQ Colchester
bjorner@ United Kingdom
******@
Series Editors
Prof. Dr. Wilfried Brauer Prof. Dr. Juraj Hromkovicˇ
Institut für Informatik der TUM ETH Zentrum
Boltzmannstr. 3 Department puter Science
85748 Garching, Germany Swiss Federal Institute of Technology
******@- 8092 Zürich, Switzerland
juraj.******@
Prof. Dr. Grzegorz Rozenberg
Leiden Institute of Advanced Prof. Dr. Arto Salomaa
Computer Science Turku Centre of
University of puter Science
Niels Bohrweg 1 Lemminkäisenkatu 14 A
2333 CA Leiden, herlands 20520 Turku, Finland
******@ ******@
ISBN 978-3-540-74106-0 e-ISBN 978-3-540-74107-7
DOI -3-540-74107-7
puting Classification (1998): , , , ,
Library of Congress Control Number: 2007936401
Monographs in puter Science. An EATCS Series. ISSN 1431-2654
© 2008 Springer-Verlag Berlin Heidelberg
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 p