Compositionality: The Significant Difference

1. Front Matter

   Pages I-VIII

   PDF

2. The Need for Compositional Proof Systems: A Survey

   • Willem-Paul de Roever

   Pages 1-22

3. Alternating-time Temporal Logic

   • Rajeev Alur, Thomas A. Henzinger, Orna Kupferman

   Pages 23-60

4. Compositionality in dataflow synchronous languages: specification & code generation

   • Albert Benveniste, Paul Le Guernic, Pascal Aubry

   Pages 61-80

5. Compositional Reasoning in Model Checking

   • Sergey Berezin, Sérgio Campos, Edmund M. Clarke

   Pages 81-102

6. Modeling Urgency in Timed Systems

   • Sébastien Bornot, Joseph Sifakis, Stavros Tripakis

   Pages 103-129

7. Compositional Refinement of Interactive Systems Modelled by Relations

   • Manfred Broy

   Pages 130-149

8. Toward Parametric Verification of Open Distributed Systems

   • Mads Dam, Lars-åke Fredlund, Dilian Gurov

   Pages 150-185

9. A Compositional Real-time Semantics of STATEMATE Designs

   • Werner Damm, Bernhard Josko, Hardi Hungar, Amir Pnueli

   Pages 186-238

10. Deductive Verification of Modular Systems

    • Bernd Finkbeiner, Zohar Manna, Henny B. Sipma

    Pages 239-275

11. Compositional Verification of Real-Time Applications

    • Jozef Hooman

    Pages 276-300

12. Compositional Proofs for Concurrent Objects

    • Jerry James, Ambuj Singh

    Pages 301-326

13. An overview of compositional translations

    • Theo M. V. Janssen

    Pages 327-349

14. Compositional Verification of Multi-Agent Systems: a Formal Analysis of Pro-activeness and Reactiveness

    • Catholijn M. Jonker, Jan Treur

    Pages 350-380

15. Modular Model Checking

    • Orna Kupferman, Moshe Y. Vardi

    Pages 381-401

16. Composition: A Way to Make Proofs Harder

    • Leslie Lamport

    Pages 402-423

17. Compositionality Criteria for Defining Mixed-Styles Synchronous Languages

    • Florence Maraninchi, Yann Rémond

    Pages 424-438

18. Compositional Reasoning using Interval Temporal Logic and Tempura

    • B. C. Moszkowski

    Pages 439-464

19. Decomposing Real-Time Specifications

    • Ernst-Rüdiger Olderog, Henning Dierks

    Pages 465-489

20. On the Combination of Synchronous Languages

    • Axel Poigné, Leszek Holenderski

    Pages 490-514

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

• Department of Informatics and Applied Mathematics, Christian Albrechts University at Kiel, Kiel, Germany

  Willem-Paul Roever, Hans Langmaack

• Department of Applied Mathematics and Computer Science, Weizmann Institute of Science, Rehovot, Israel

  Amir Pnueli

Policies and ethics