CONCUR 2003 - Concurrency Theory 14th International Conference, Mars
- PDF / 4,543,295 Bytes
- 536 Pages / 430 x 660 pts Page_size
- 27 Downloads / 190 Views
2761
3
Berlin Heidelberg New York Hong Kong London Milan Paris Tokyo
Roberto Amadio Denis Lugiez (Eds.)
CONCUR 2003 Concurrency Theory 14th International Conference Marseille, France, September 3-5, 2003 Proceedings
13
Series Editors Gerhard Goos, Karlsruhe University, Germany Juris Hartmanis, Cornell University, NY, USA Jan van Leeuwen, Utrecht University, The Netherlands Volume Editors Roberto Amadio Denis Lugiez Université de Provence and Laboratoire d’Informatique Fondamentale de Marseille, UMR 6166 CMI, 39 Avenue Joliot-Curie 13453 Marseille, France E-mail: amadio,[email protected] 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 Nationalbibliografie; detailed bibliographic data is available in the Internet at .
CR Subject Classification (1998): F.3, F.1, D.3, D.1, C.2 ISSN 0302-9743 ISBN 3-540-40753-7 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 liable for prosecution under the German Copyright Law. Springer-Verlag Berlin Heidelberg New York a member of BertelsmannSpringer Science+Business Media GmbH http://www.springer.de © Springer-Verlag Berlin Heidelberg 2003 Printed in Germany Typesetting: Camera-ready by author, data conversion by PTP Berlin GmbH Printed on acid-free paper SPIN: 10930809 06/3142 543210
Preface
This volume contains the proceedings of the 14th International Conference on Concurrency Theory (CONCUR 2003) held in Marseille, France, September 3–5, 2003. The conference was hosted by the Universit´e de Provence and the Laboratoire d’Informatique Fondamentale de Marseille (LIF). The purpose of the CONCUR conferences is to bring together researchers, developers, and students in order to advance the theory of concurrency, and promote its applications. Interest in this topic is continuously growing, as a consequence of the importance and ubiquity of concurrent systems and their applications, and of the scientific relevance of their fundations. The scope of the conference covers all areas of semantics, logics, and verification techniques for concurrent systems. Topics include concurrency-related aspects of: models of computation and semantic domains, process algebras, Petri nets, event structures, real-time systems, hybrid systems, decidability, model-checking, verification and refinement techniques, term and graph rewriting, distributed programming, logic constraint pro
Data Loading...
