↓ Skip to main content

Compositionality: The Significant Difference

Overview of attention for book
Cover of 'Compositionality: The Significant Difference'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 The Need for Compositional Proof Systems: A Survey
  3. Altmetric Badge
    Chapter 2 Alternating-time Temporal Logic
  4. Altmetric Badge
    Chapter 3 Compositionality in dataflow synchronous languages: specification & code generation
  5. Altmetric Badge
    Chapter 4 Compositional Reasoning in Model Checking
  6. Altmetric Badge
    Chapter 5 Modeling Urgency in Timed Systems
  7. Altmetric Badge
    Chapter 6 Compositional Refinement of Interactive Systems Modelled by Relations
  8. Altmetric Badge
    Chapter 7 Toward Parametric Verification of Open Distributed Systems
  9. Altmetric Badge
    Chapter 8 A Compositional Real-time Semantics of STATEMATE Designs
  10. Altmetric Badge
    Chapter 9 Deductive Verification of Modular Systems
  11. Altmetric Badge
    Chapter 10 Compositional Verification of Real-Time Applications
  12. Altmetric Badge
    Chapter 11 Compositional Proofs for Concurrent Objects
  13. Altmetric Badge
    Chapter 12 An overview of compositional translations
  14. Altmetric Badge
    Chapter 13 Compositional Verification of Multi-Agent Systems: a Formal Analysis of Pro-activeness and Reactiveness
  15. Altmetric Badge
    Chapter 14 Modular Model Checking
  16. Altmetric Badge
    Chapter 15 Composition: A Way to Make Proofs Harder
  17. Altmetric Badge
    Chapter 16 Compositionality Criteria for Defining Mixed-Styles Synchronous Languages
  18. Altmetric Badge
    Chapter 17 Compositional Reasoning using Interval Temporal Logic and Tempura
  19. Altmetric Badge
    Chapter 18 Decomposing Real-Time Specifications
  20. Altmetric Badge
    Chapter 19 On the Combination of Synchronous Languages
  21. Altmetric Badge
    Chapter 20 Compositional Verification of Randomized Distributed Algorithms
  22. Altmetric Badge
    Chapter 21 Lazy Compositional Verication
  23. Altmetric Badge
    Chapter 22 Compositional Reasoning Using the Assumption-Commitment Paradigm
  24. Altmetric Badge
    Chapter 23 An Adequate First Order Interval Logic
  25. Altmetric Badge
    Chapter 24 Compositional Transformational Design for Concurrent Programs
  26. Altmetric Badge
    Chapter 25 Compositional proof methods for concurrency: A semantic approach
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
1 X user
wikipedia
2 Wikipedia pages

Citations

dimensions_citation
52 Dimensions

Readers on

mendeley
6 Mendeley
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Title
Compositionality: The Significant Difference
Published by
Springer Berlin Heidelberg, May 2003
DOI 10.1007/3-540-49213-5
ISBNs
978-3-54-065493-3, 978-3-54-049213-9
Editors

Roever, Willem-Paul, Langmaack, Hans, Pnueli, Amir

X Demographics

X Demographics

The data shown below were collected from the profile of 1 X user who shared this research output. Click here to find out more about how the information was compiled.
Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 6 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Canada 1 17%
Unknown 5 83%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 5 83%
Professor > Associate Professor 3 50%
Researcher 1 17%
Student > Master 1 17%
Readers by discipline Count As %
Computer Science 5 83%
Engineering 2 33%
Mathematics 1 17%
Philosophy 1 17%