Program Refinement in Fair Transition Systems
The idea of program refinements is discussed in the context of fair transition systems. Two kinds of refinements — property preserving and fixed-point preserving, are defined. Conditions are developed under which known program transformations (e.g., refin
- PDF / 90,588,621 Bytes
- 942 Pages / 439.402 x 666.126 pts Page_size
- 67 Downloads / 158 Views
J. Stoer
505
E.H.L. Aarts J.van Leeuwen M.Rem (Eds.)
PARLE '91 Parallel Architectures and Languages Europe Volume I: Parallel Architectures and Algorithms Eindhoven, The Netherlands, June 10-13, 1991 Proceedings
Springer-Verlag Berlin Heidelberg GmbH
Series Editors Gerhard Goos GMD Forschungsstelle Universitiit Karlsruhe Vincenz-Priessnitz-StraBe 1 W-7500 Karlsruhe, FRG
Juris Hartrnanis Department of Computer Science Cornell University Upson Hall Ithaca, NY 14853, USA
Volume Editors Emile H. L. Aarts Philips Research Laboratories P.O. Box 80.000, 5600 JA Eindhoven, The Netherlands Jan van Leeuwen Department of Computer Science, University of Utrecht Padualaan 14,3584 CH Utrecht, The Netherlands Martin Rem Eindhoven University of Technology P.O. Box 513,5600 MB Eindhoven, The Netherlands
CR Subject Classification (1991): C.l-4, D.l, D.3-4, F.l-3
ISBN 978-3-662-23206-4 ISBN 978-3-662-25209-3 (eBook) DOI 10.1007/978-3-662-25209-3
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 other ways, and storage in data banks. Duplication of this publication or parts thereof is only permitted under the provisions of the German Copyright Law of September 9, 1965, in its current version, and a copyright fee must always be paid. Violations fall under the prosecution act of the German Copyright Law. © Springer-Verlag Berlin Heidelberg 1991 Originally published by Springer-Verlag Berlin Heidelberg New York in 1991 2145/3140-543210- Printed on acid-free paper
Preface The innovative progress in the development oflarge- and small-scale parallel computing systems and their increasing availability have caused a sharp rise in interest in the scientific principles that underlie parallel computation and parallel programming. The biannual "Parallel Architectures and Languages Europe" (PARLE) conferences aim at presenting current research material on all aspects of the theory, design, and application of parallel computing systems and parallel processing. At the same time, the goal of the PARLE conferences is to provide a forum for researchers and practitioners to exchange ideas on recent developments and trends in the field of parallel computing and parallel programming. The first ~wo conferences, PARLE '87 and PARLE '89, have succeeded in meeting this goal and made PARLE a conference that is recognized worldwide in the field of parallel computation. PARLE '91 again offers a wealth of high-quality research material for the benefit of the scientific community. Compared to its predecessors, the scope of PARLE '91 has been broadened so as to cover the area of parallel algorithms and complexity, in addition to the central themes of parallel architectures and languages. The proceedings of the PARLE '91 conference contain the text of all contributed papers that were selected for the programme and of the invited papers by leading experts
