文档介绍：Lecture Notes puter Science 2589
Edited by G. Goos, J. Hartmanis, and J. van Leeuwen
3
Berlin
Heidelberg
New York
Barcelona
Hong Kong
London
Milan
Paris
Tokyo
Egon Börger Angelo Gargantini
Elvinia obene (Eds.)
Abstract State
Machines 2003
Advances in Theory and Practice
10th International Workshop, ASM 2003
Taormina, Italy, March 3-7, 2003
Proceedings
13
Series Editors
Gerhard Goos, Karlsruhe University, Germany
Juris Hartmanis, Cornell University, NY, USA
Jan van Leeuwen, Utrecht University, herlands
Volume Editors
Egon Börger
Università di Pisa, Dipartimento di Informatica
Via Buonarotti 2, 56127 Pisa, Italy
E-mail: ******@
Angelo Gargantini
Università di Catania, CEA
Piazza Università 2, 95124 Catania, Italy
E-mail: ******@
Elvinia obene
Università di Catania, Dipartimento di Matematica e Informatica
Città Universitaria, viale A. Doria 6, 95125 Catania, Italy
E-mail: ******@
Cataloging-in-Publication Data applied for
A catalog record for this book is available from the Library of Congress
Bibliographic information published by Die Deutsche Bibliothek
Die Deutsche Bibliothek lists this publication in the Deutsche Nationalbibliographie;
detailed bibliographic data is available in the at <>.
CR Subject Classification (1998): , , , ,
ISSN 0302-9743
ISBN 3-540-00624-9 Springer-Verlag 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, re-use of illustrations, recitation, broadcasting,
reproduction on microfilms 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-Verlag. Violations are