Compositionality: The Significant Difference

International Symposium, COMPOS’97 Bad Malente, Germany, September 8–12, 1997 Revised Lectures

  • Willem-Paul de Roever
  • Hans Langmaack
  • Amir Pnueli

Part of the Lecture Notes in Computer Science book series (LNCS, volume 1536)

Table of contents

  1. Front Matter
    Pages I-VIII
  2. Willem-Paul de Roever
    Pages 1-22
  3. Rajeev Alur, Thomas A. Henzinger, Orna Kupferman
    Pages 23-60
  4. Albert Benveniste, Paul Le Guernic, Pascal Aubry
    Pages 61-80
  5. Sergey Berezin, Sérgio Campos, Edmund M. Clarke
    Pages 81-102
  6. Sébastien Bornot, Joseph Sifakis, Stavros Tripakis
    Pages 103-129
  7. Mads Dam, Lars-åke Fredlund, Dilian Gurov
    Pages 150-185
  8. Werner Damm, Bernhard Josko, Hardi Hungar, Amir Pnueli
    Pages 186-238
  9. Bernd Finkbeiner, Zohar Manna, Henny B. Sipma
    Pages 239-275
  10. Jerry James, Ambuj Singh
    Pages 301-326
  11. Theo M. V. Janssen
    Pages 327-349
  12. Orna Kupferman, Moshe Y. Vardi
    Pages 381-401
  13. Leslie Lamport
    Pages 402-423
  14. Florence Maraninchi, Yann Rémond
    Pages 424-438
  15. Ernst-Rüdiger Olderog, Henning Dierks
    Pages 465-489
  16. Axel Poigné, Leszek Holenderski
    Pages 490-514

About these proceedings

Introduction

This book originates from the International Symposium on Compositionality, COMPOS'97, held in Bad Malente, Germany in September 1997. The 25 chapters presented in revised full version reflect the current state of the art in the area of compositional reasoning about concurrency. The book is a valuable reference for researchers and professionals interested in formal systems design and analysis; it also is well suited for self study and use in advanced courses.

Keywords

algorithm algorithms concurrency design distributed systems formal methods language logic model checking modeling multi-agent system multi-agent systems real-time semantics verification

Editors and affiliations

  • Willem-Paul de Roever
    • 1
  • Hans Langmaack
    • 1
  • Amir Pnueli
    • 2
  1. 1.Department of Informatics and Applied MathematicsChristian Albrechts University at KielKielGermany
  2. 2.Department of Applied Mathematics and Computer ScienceWeizmann Institute of ScienceRehovotIsrael

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-49213-5
  • Copyright Information Springer-Verlag Berlin Heidelberg 1998
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-65493-3
  • Online ISBN 978-3-540-49213-9
  • Series Print ISSN 0302-9743
  • About this book
Industry Sectors
Electronics
Aerospace