Advertisement

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
  13. Richard Gerber, Insup Lee
    Pages 263-277
  14. R. J. van Glabbeek
    Pages 278-297
  15. E. Pascal Gribomont
    Pages 298-313
  16. Mark B. Josephs, Jan Tijmen Udding
    Pages 342-366
  17. José Meseguer
    Pages 384-400
  18. Faron Moller, Chris Tofts
    Pages 401-415
  19. Paweł Paczkowski
    Pages 416-426
  20. Scott A. Smolka, Bernhard Steffen
    Pages 456-466
  21. Glynn Winskel
    Pages 481-501
  22. Back Matter

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 Berlin Heidelberg 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
  • Buy this book on publisher's site
Industry Sectors
Biotechnology
Electronics
IT & Software
Telecommunications