Skip to main content
SpringerLink
Log in

Compositionality: The Significant Difference

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

  • Conference proceedings
  • © 1998

Overview

Editors:
  1. Willem-Paul Roever

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

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Hans Langmaack

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

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Amir Pnueli

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

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Included in the following conference series:

Conference proceedings info: COMPOS 1997.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (25 papers)

  1. Front Matter

    Pages I-VIII
    Download chapter 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
Back to top

Other volumes

  1. Compositionality: The Significant Difference

Keywords

About this book

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.

Editors and Affiliations

  • 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

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation