Table of contents

  1. Front Matter
  2. Roberto Gorrieri, Ugo Montanari
    Pages 2-30
  3. M. Hennessy
    Pages 31-31
  4. C. A. R. Hoare
    Pages 32-32
  5. Anish Arora, Paul Attie, Michael Evangelist, Mohamed Gouda
    Pages 70-82
  6. J. C. M. Baeten, J. A. Bergstra
    Pages 83-98
  7. Julian Bradfield, Colin Stirling
    Pages 115-125
  8. Rance Cleaveland, Bernhard Steffen
    Pages 141-151
  9. Rocco De Nicola, Ugo Montanari, Frits Vaandrager
    Pages 152-165
  10. Yulin Feng, Junbo Liu
    Pages 216-229
  11. Nissim Francez, Ira R. Forman
    Pages 230-245
  12. Lars-åke Fredlund, Bengt Jonsson, Joachim Parrow
    Pages 246-262

About these proceedings

Introduction

This volume gives the proceedings of the conference CONCUR '90. This is the first conference organized by ESPRIT Basic Research Action 3006, CONCUR (Theories of Concurrency: Unification and Extension), started in September 1989. The principal aims of the action are to explore the relationships among the different approaches to algebraic concurrency theory, and to develop a formalism applicable to a wide range of case studies. The articles in this volume describe the state of the art in concurrency, the theory of communicating concurrent (or distributed) systems.

Keywords

Concurrency Parallelism Parallelität Programmiersprachen Programming languages Software specification Software-Spezifikation Verteilte (kommunizierende) Systeme calculus logic programming

Bibliographic information

  • DOI https://doi.org/10.1007/BFb0039045
  • Copyright Information Springer-Verlag 1990
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-53048-0
  • Online ISBN 978-3-540-46395-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book