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
  19. Hanna Klaudel, Robert-C. Riemann
    Pages 288-301
  20. Antonín Kučera
    Pages 302-316
  21. Rom Langerak, Ed Brinksma, Joost-Pieter Katoen
    Pages 317-331
  22. Richard Mayr
    Pages 332-346
  23. Anna Philippou, David Walker
    Pages 361-375
  24. Peter Selinger
    Pages 376-390
  25. Harro Wimmel, Lutz Priese
    Pages 406-420
  26. Back Matter

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

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 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
  • Buy this book on publisher's site