Advertisement

Table of contents

  1. Front Matter
  2. Albert Benveniste, Paul Caspi, Paul Le Guernic, Nicolas Halbwachs
    Pages 1-45
  3. J. A. Bergstra, A. Ponse, J. J. van Wamel
    Pages 46-91
  4. Gérard Boudol
    Pages 92-123
  5. E. Clarke, O. Grumberg, D. Long
    Pages 124-175
  6. Uffe Engberg, Glynn Winskel
    Pages 176-229
  7. Yonit Kesten, Zohar Manna, Amir Pnueli
    Pages 273-346
  8. Mogens Nielsen, Vladimiro Sassone, Glynn Winskel
    Pages 425-476
  9. Joachim Parrow
    Pages 477-508
  10. Joachim Parrow, Davide Sangiorgi
    Pages 509-529
  11. Jan Rutten, Daniele Turi
    Pages 530-582
  12. Wolfgang Thomas, Helmut Lescow
    Pages 583-621
  13. Job Zwiers, Wil Janssen
    Pages 622-684
  14. Back Matter

About these proceedings

Introduction

The REX School/Symposium "A Decade of Concurrency - Reflections and Perspectives" was the final event of a ten-year period of cooperation between three Dutch research groups working on the foundations of concurrency.
Ever since its inception in 1983, the goal of the project has been to contribute to the cross-fertilization between formal methods from the fields of syntax, semantics, and proof theory, aimed at an improved understanding of the nature of parallel computing. The material presented in this volume was prepared by the lecturers (and their coauthors) after the meeting took place.
In total, the volume constitutes a thorough state-of-the-art report of the research activities in concurrency.

Keywords

Concurrent Programming Concurrent Systems Echtzeit-Systeme Nebenläufiges Programmieren Prozeßalgebren concurrency formal method proof theory semantics

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-58043-3
  • Copyright Information Springer-Verlag Berlin Heidelberg 1994
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-58043-0
  • Online ISBN 978-3-540-48423-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site