Table of contents

  1. Front Matter
  2. Y. S. Ramakrishna, Scott A. Smolka
    Pages 5-24
  3. M. W. Shields
    Pages 25-44
  4. Jesper G. Henriksen, P. S. Thiagarajan
    Pages 45-58
  5. Martín Abadi, Andrew D. Gordon
    Pages 59-73
  6. Rajeev Alur, Thomas A. Henzinger
    Pages 74-88
  7. Henrik Reif Andersen, Simon Mørk, Morten Ulrik Sørensen
    Pages 89-103
  8. J. C. M. Baeten, J. A. Bergstra
    Pages 104-118
  9. Girish Bhat, Doron Peled
    Pages 119-134
  10. Ahmed Bouajjani, Javier Esparza, Oded Maler
    Pages 135-150
  11. Nadia Busi, G. Michele Pinna
    Pages 151-165
  12. Rance Cleaveland, Gerald Lüttgen, Michael Mendler
    Pages 166-180
  13. Hartmut Ehrig, Robert Geisler, Marcus Klar, Julia Padberg
    Pages 181-195
  14. Cédric Fournet, Luc Maranget, Cosimo Laneve, Didier Rémy
    Pages 196-212
  15. R. J. van Glabbeek
    Pages 228-242
  16. Vineet Gupta, Radha Jagadeesan, Vijay Saraswat
    Pages 243-257
  17. David Harel, Orna Kupferman, Moshe Y. Vardi
    Pages 258-272
  18. Thomas A. Henzinger, Orna Kupferman, Sriram K. Rajamani
    Pages 273-287

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 8th International Conference on Concurrency Theory, CONCUR'97. held in Warsaw, Poland, in July 1997.
The 24 revised full papers presented were selected by the program committee for inclusion in the volume from a total of 41 high-quality submissions. The volume covers all current topics in the science of concurrency theory and its applications, such as reactive systems, hybrid systems, model checking, partial orders, state charts, program logic calculi, infinite state systems, verification, and others.

Keywords

Lineare zeitabhängige Logik Modellprüfung Reaktive Systeme concurrency hybrid systems linear temporal logic logic model checking reactive systems verification

Bibliographic information

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