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
Conference proceedings COMPOS 1997

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
  17. Natarajan Shankar
    Pages 541-564
  18. Zhou Chaochen, Michael R. Hansen
    Pages 584-608
  19. F. S. de Boer, W. -P. de Roever
    Pages 632-646
  20. Back Matter
    Pages 647-647

About these proceedings


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.


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
  • 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
  • Buy this book on publisher's site