COMPOS 1997: Bad Malente, Germany

@proceedings{DBLP:conf/compos/1997,
  editor    = {Willem P. de Roever and
               Hans Langmaack and
               Amir Pnueli},
  title     = {Compositionality: The Significant Difference, International Symposium,
               COMPOS'97, Bad Malente, Germany, September 8-12, 1997. Revised
               Lectures},
  booktitle = {COMPOS},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1536},
  year      = {1998},
  isbn      = {3-540-65493-3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

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