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


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.


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

Bibliographic information

Industry Sectors
IT & Software
Energy, Utilities & Environment