ISBN: 3540654933
TITLE: Compositionality: The Significant Difference
AUTHOR: Roever, Willem-Paul de; Langmaack, Hans; Pnueli, Amir (Eds.)
TOC:

The Need for Compositional Proof Systems: A Survey 1
Willem-Paul de Roever
Alternating-Time Temporal Logic 23
Rajeev Alur, Thomas A. Henzinger, and Orna Kupferman
Compositionality in Data ow Synchronous Languages: Specification and Code Generation 61
Albert Benveniste, Paul Le Guernic, and Pascal Aubry
Compositional Reasoning in Model Checking 81
Sergey Berezin, Srgio Campos, and Edmund M. Clarke
Modeling Urgency in Timed Systems 103
Sbastien Bornot, Joseph Sifakis, and Stavros Tripakis
Compositional Refinement of Interactive Systems Modelled by Relations 130
Manfred Broy
Toward Parametric Verification of Open Distributed Systems 150
Mads Dam, Lars-ke Fredlund, and Dilian Gurov
A Compositional Real-Time Semantics of STATEMATE Designs 186
Werner Damm, Bernhard Josko, Hardi Hungar, and Amir Pnueli
Deductive Verification of Modular Systems 239
Bernd Finkbeiner, Zohar Manna, and Henny B. Sipma
Compositional Verification of Real-Time Applications 276
Jozef Hooman
Compositional Proofs for Concurrent Objects 301
Jerry James, Ambuj Singh
An Overview of Compositional Translations 327
Theo M.V. Janssen
Compositional Verification of Multi-Agent Systems: A Formal Analysis of Pro-activeness and Reactiveness 350
Catholijn M. Jonker, Jan Treur.Modular Model Checking 381
Orna Kupferman, Moshe Y. Vardi
Composition: A Way to Make Proofs Harder 402
Leslie Lamport
Compositionality Criteria for Defining Mixed-Styles Synchronous Languages 424
Florence Maraninchi, Yann Rmond
Compositional Reasoning Using Interval Temporal Logic and Tempura 439
Ben C. Moszkowski
Decomposing Real-Time Specifications 465
Ernst-Rdiger Olderog, Henning Dierks
On the Combination of Synchronous Languages 490
Axel Poign, Leszek Holenderski
Compositional Verification of Randomized Distributed Algorithms 515
Roberto Segala
Lazy Compositional Verification 541
Natarajan Shankar
Compositional Reasoning Using the Assumption{Commitment Paradigm 565
Qiwen Xu, Mohalik Swarup
An Adequate First Order Interval Logic 584
Chaochen Zhou, Michael R. Hansen
Compositional Transformational Design for Concurrent Programs 609
Job Zwiers
Compositional Proof Methods for Concurrency: A Semantic Approach 632
Frank S. de Boer, Willem-Paul de Roever
Author Index 647
END
