Advertisement

Table of contents

  1. Front Matter
  2. Robin Milner
    Pages 1-1
  3. Michele Boreale, Rocco De Nicola
    Pages 2-16
  4. Davide Sangiorgi, Robin Milner
    Pages 32-46
  5. Jan Friso Groote, Faron Moller
    Pages 62-76
  6. Rob Gerth, Ruurd Kuiper, John Segers
    Pages 77-93
  7. M. Hennessy
    Pages 94-107
  8. G. Boudol, I. Castellani, M. Hennessy, A. Kiehn
    Pages 108-122
  9. Olaf Burkart, Bernhard Steffen
    Pages 123-137
  10. Søren Christensen, Hans Hüttel, Colin Stirling
    Pages 138-147
  11. Ursula Goltz, Ruurd Kuiper, Wojciech Penczek
    Pages 222-236
  12. Vaughan R. Pratt
    Pages 237-253
  13. Eric Goubault, Thomas P. Jensen
    Pages 254-268
  14. Arend Rensink
    Pages 269-285
  15. José Meseguer, Ugo Montanari, Vladimiro Sassone
    Pages 286-301
  16. Eric Badouel, Philippe Darondeau
    Pages 302-316
  17. Butler Lampson, Nancy Lynch, Jørgen Søgaard-Andersen
    Pages 317-324
  18. Nick Reingold, Da -Wei Wang, Lenore D. Zuck
    Pages 325-339
  19. R. Alur, C. Courcoubetis, N. Halbwachs, D. Dill, H. Wong-Toi
    Pages 340-354
  20. Jim Davies, Steve Schneider
    Pages 355-369
  21. Henri B. Weinberg, Lenore D. Zuck
    Pages 370-385
  22. J. C. M. Baeten, J. A. Bergstra
    Pages 401-420
  23. A. S. Klusener
    Pages 421-435
  24. Frits Vaandrager, Nancy Lynch
    Pages 436-455
  25. Kim G. Larsen, Arne Skou
    Pages 456-471
  26. J. C. M. Baeten, J. A. Bergstra, S. A. Smolka
    Pages 472-485
  27. Alexander Rabinovich
    Pages 504-517
  28. Joachim Parrow, Peter Sjödin
    Pages 518-533
  29. Steven M. German
    Pages 534-549
  30. Gul Agha, Ian A. Mason, Scott Smith, Carolyn Talcott
    Pages 565-579
  31. Back Matter

About these proceedings

Introduction

This book contains a selection of research papers describing recent advancesin the theory of concurrent systems and their applications. The papers were all presented at the CONCUR '92 conference, which has emerged as the premiere conference on formal aspects of concurrency. The authors include such prominent researchers as R. Milner, A. Pnueli, N. Lynch, and V.R. Pratt. The results represent advances in the mathematical understanding of the behavior of concurrent systems: topics covered include process algebras, models of true concurrency, compositional verification techniques, temporal logic, verification case studies, models of probabilistic and real-time systems, models of systems with dynamic structure, and algorithms and decidability results for system analysis. A key feature of CONCUR is its breadth: in one volume it presents a snapshot of the state of the art in concurrency theory. Assuch, it is indispensible to researchers - and would-be researchers - in theformal analysis of concurrent systems.

Keywords

Analyse-Algorithmen Analysis Concurrency Parallelism Program Verification Programmier-Semantik Semantics of Programing algorithm algorithms logic real-time verification

Bibliographic information

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