Advertisement

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
  17. Jeremy Gunawardena
    Pages 266-280
  18. Jean-Marie Jacquet, Luís Monteiro
    Pages 281-297
  19. Wil Janssen, Mannes Poel, Job Zwiers
    Pages 298-316
  20. Ryszard Janicki, Maciej Koutny
    Pages 317-331
  21. A. S. Klusener
    Pages 376-392
  22. Padmanabhan Krishnan
    Pages 393-407
  23. Michael Merritt, Francesmary Modugno, Mark R. Tuttle
    Pages 408-423
  24. Faron Moller, Chris Tofts
    Pages 424-438
  25. David Murphy
    Pages 439-454
  26. Doris Nolte, Lutz Priese
    Pages 455-469
  27. Ph. Schnoebelen
    Pages 480-494
  28. Paul Spruit, Roel Wieringa
    Pages 495-509
  29. Antti Valmari, Matthew Clegg
    Pages 526-540
  30. Back Matter

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 Berlin Heidelberg 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
  • Buy this book on publisher's site