Table of contents

  1. Front Matter
  2. Amar Bouali, Robert de Simone
    Pages 18-19
  3. Jean-Claude Fernandez, Laurent Mounier
    Pages 23-42
  4. Robin Milner, Joachim Parrow, David Walker
    Pages 45-60
  5. Ernst-Rüdiger Olderog
    Pages 61-77
  6. Luca Aceto, Anna Ingólfsdóttir
    Pages 78-95
  7. J. C. M. Baeten, J. A. Bergstra
    Pages 96-110
  8. F. S. de Boer, J. N. Kok, C. Palamidessi, J. J. M. M. Rutten
    Pages 111-126
  9. Frank S. de Boer, Catuscia Palamidessi
    Pages 127-141
  10. Juanito Camilleri
    Pages 142-156
  11. N. J. Drost
    Pages 157-171
  12. Javier Esparza, Manuel Silva
    Pages 172-187
  13. Gian Luigi Ferrari, Ugo Montanari
    Pages 188-202
  14. Nissim Francez, Ira R. Forman
    Pages 203-219
  15. Jan Friso Groote, Alban Ponse
    Pages 235-249
  16. Orna Grumberg, David E. Long
    Pages 250-265

About these proceedings

Introduction

CONCUR'91 is the second international conference on concurrency theory, organized in association with the NFI project Transfer. It is a sequel to the CONCUR'90 conference. Its basic aim is to communicate ongoing work in concurrency theory. This proceedings volume contains 30 papers selected for presentation at the conference (from 71 submitted) together with four invited papers and abstracts of the other invited papers. The papers are organized into sections on process algebras, logics and model checking, applications and specification languages, models and net theory, design and real-time, tools and probabilities, and programming languages. The proceedings of CONCUR'90 are available asVolume 458 of Lecture Notes in Computer Science.

Keywords

Paralletität Verteiltes System automata calculus distributed systems logic model checking petri net programming programming language real-time semantics verification

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-54430-5
  • Copyright Information Springer-Verlag 1991
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-54430-2
  • Online ISBN 978-3-540-38357-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book
Industry Sectors
Electronics
Telecommunications
Biotechnology